Prolog 로 작성된 라이브러리

open-source-rover

화성의 로버를 기반으로 한 6륜 로버!.
  • 7.3k
  • Apache License 2.0

terminusdb

TerminusDB는 협업 모델이 있는 분산 데이터베이스입니다.
  • 2.4k
  • Apache License 2.0

stabilizer

안정제: 엄격한 성능 평가.
  • 523
  • Apache License 2.0

the-constitution-of-japan

  • 423

logtalk3

Logtalk - 선언적 객체 지향 논리 프로그래밍 언어.
  • 359
  • Apache License 2.0

dumbpad

로터리 엔코더가 있는 간단한 4x4 숫자 키패드. ATmega32u4 Pro Micro를 통해 QMK로 구동됩니다.
  • 299
  • GNU General Public License v3.0 only

BadUSB-Cable

Attiny85 마이크로컨트롤러 기반의 BadUSB 케이블..
  • 274
  • Creative Commons Attribution 4.0

tar.pl

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

elpi

포함 가능한 Lambda 프롤로그 해석기.
  • 236
  • GNU Lesser General Public License v3.0 only

ciao

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

metagol

Metagol - 유도 논리 프로그래밍 시스템.
  • 175
  • BSD 3-clause "New" or "Revised"

clpz

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

Gleemin

Magic: the Gathering™ 전문가 시스템.
  • 86

louise

다항 시간 메타 해석 학습.
  • 77
  • GNU General Public License v3.0

RTEC

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

nests-and-insects

로그라이크 테이블톱 RPG.
  • 50
  • GNU General Public License v3.0 only

sparqlprog

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

aleph

SWI-Prolog에 대한 Aleph 항(by friguzzi).
  • 36

swipldcgtut

swi-Prolog의 DCG에 대한 자습서입니다.
  • 29

PRESS

PROlog 방정식 풀이 시스템.
  • 28
  • MIT

packages-http

SWI-Prolog HTTP 서버 및 클라이언트 라이브러리.
  • 22

precautionary

PKPD의 개인 간 변동에 비추어 설계 안전성을 검사하는 종양학 용량 증량 시험을 위한 환자 중심 안전 진단..
  • 20
  • GNU General Public License v3.0

Alpino

네덜란드어용 Alpino 파서 및 관련 도구.
  • 18
  • GNU Lesser General Public License v3.0 only

debug_adapter

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

Phenesthe

'Phenesthe'(orig. φαίνεσθαι)는 순간적이고 지속적인 시간 현상을 표현하고 처리하는 시스템입니다.
  • 18
  • GNU General Public License v3.0 only

data-logic

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

djota

Prolog의 Djot 구현.
  • 13
  • BSD 3-clause "New" or "Revised"

THELEMA

내 석사 논문: 문법 유도 시스템.
  • 12
  • GNU General Public License v3.0 only

dfs-tools

분포 형식 의미론(DFS) 도구.
  • 11
  • Apache License 2.0

advent-of-code-2020

Advent of Code 2020 솔루션(by aarroyoc).
  • 9
  • The Unlicense