"프롤로그" 태그별 라이브러리

klipse

Klipse는 기술 블로그에 대화형 코드 스니펫을 삽입하기 위한 JavaScript 플러그인입니다.
  • 3.1k
  • HTML
  • GNU General Public License v3.0 only

scryer-prolog

대부분 Rust로 작성된 최신 Prolog 구현입니다.
  • 1.7k
  • Rust
  • BSD 3-clause "New" or "Revised"

logica

Logica는 StandardSQL로 컴파일되고 Google BigQuery에서 실행되는 논리 프로그래밍 언어입니다.

the-power-of-prolog

현대 프롤로그 소개.

swipl-devel

SWI-Prolog 기본 개발 저장소.
  • 808
  • C
  • GNU General Public License v3.0

tau-prolog

JavaScript의 오픈 소스 Prolog 인터프리터.

prolog

Go를 위한 유일하고 합리적인 스크립팅 엔진..
  • 496
  • Go
  • MIT

awesome-prolog

Prolog 패키지 및 리소스의 선별된 목록입니다.
  • 461
  • /DEVs
  • Creative Commons Zero v1.0 Universal

pyswip

PySwip은 Python 프로그램에서 SWI-Prolog를 쿼리할 수 있는 Python - SWI-Prolog 브리지입니다. (불완전한) SWI-Prolog 외국어 인터페이스, Prolog로 쉽게 쿼리할 수 있는 유틸리티 클래스 및 Pythonic 인터페이스를 제공합니다.

logtalk3

Logtalk - 선언적 객체 지향 논리 프로그래밍 언어.

hakank

내 공개 프로그램 및 모델 - 대부분 조합 문제 및 퍼즐.

problog

ProbLog는 확률이 있는 논리 프로그램을 위한 확률 논리 프로그래밍 언어입니다.

tar.pl

~100줄의 프롤로그에 있는 tar 생성기+추출기.

ciao

Ciao는 이식 가능하고 확장 가능하며 모듈식으로 설계된 논리 기반 단순 커널에서 구축되는 최신 Prolog 구현입니다.
  • 214
  • Prolog
  • GNU Lesser General Public License v3.0 only

clpz

정수에 대한 제약 논리 프로그래밍.

ukanren-rs

페더급 관계형 프로그래밍 언어인 µKanren의 러스트 구현..

swipl-wasm

WebAssemply를 사용하여 브라우저에서 SWI-Prolog를 실행하십시오.

RTEC

RTEC는 스트림 추론에 최적화된 Event Calculus 구현입니다.
  • 71
  • Prolog
  • GNU Lesser General Public License v3.0 only

2p-kt

Symbolic AI를 위한 Kotlin 다중 플랫폼 생태계.
  • 69
  • Kotlin
  • Apache License 2.0

go

WASM을 사용하여 Go에 내장된 Trealla Prolog(trealla-prolog 사용).
  • 67
  • Go
  • MIT

php

프롤로그 홈페이지(구레구 작성).

egglog0

데이터로그 + 에그 = 좋음.

cocos

cocos(code commons) - 빠른 시작 전주곡 및 프롤로그를 자동으로 포함합니다.
  • 54
  • Ruby
  • Creative Commons Zero v1.0 Universal

trealla-go

WASM을 사용하여 Go에 내장된 Trealla Prolog[이동: https://github.com/trealla-prolog/go].
  • 53
  • Go
  • MIT

sparqlprog

SPARQL을 사용한 논리 프로그래밍.

debug_adapter

SWI-Prolog용 디버그 어댑터 프로토콜(DAP) 구현.

logic-db

Prolog와 같은 논리 프로그래밍 언어를 JavasScript 및 TypeScript에 포함..
  • 16
  • TypeScript
  • GNU General Public License v3.0 only

data-logic

연역적 질의와 자연어로 표현된 제약조건의 검증을 갖춘 전문가 시스템.

predicates

ichiban/prolog에 대한 다양한 술어.
  • 8
  • Go
  • GNU General Public License v3.0

prolog-checkers

Prolog에 구현된 체커의 플레이어 대 AI 게임.