Biblioteki napisane w Prolog

open-source-rover

6-kołowy łazik do samodzielnego zbudowania, wzorowany na łazikach marsjańskich!

7.3k
Apache License 2.0

terminusdb

TerminusDB to rozproszona baza danych z modelem współpracy.

2.4k
Apache License 2.0

stabilizer

Stabilizator: Rygorystyczna ocena wydajności.

523
Apache License 2.0

the-constitution-of-japan

423

logtalk3

Logtalk - deklaratywny obiektowy język programowania w logice.

359
Apache License 2.0

dumbpad

Prosta klawiatura numeryczna 4x4 z enkoderem obrotowym. Zasilany przez QMK przez ATmega32u4 Pro Micro.

299
GNU General Public License v3.0 only

BadUSB-Cable

Kabel BadUSB oparty na mikrokontrolerze Attiny85.

274
Creative Commons Attribution 4.0

tar.pl

kreator tar + ekstraktor w ~ 100 liniach prologu.

248

elpi

Wbudowany interpreter Lambda Prolog.

236
GNU Lesser General Public License v3.0 only

ciao

Ciao to nowoczesna implementacja Prologu, która opiera się na prostym jądrze opartym na logice, zaprojektowanym jako przenośny, rozszerzalny i modułowy.

214
GNU Lesser General Public License v3.0 only

metagol

Metagol - system programowania w logice indukcyjnej.

175
BSD 3-clause "New" or "Revised"

clpz

Programowanie w logice z ograniczeniami na liczbach całkowitych.

160

Gleemin

System ekspercki Magic: the Gathering™.

86

louise

Uczenie metainterpretacyjne w czasie wielomianowym.

77
GNU General Public License v3.0

RTEC

RTEC to implementacja Event Calculus zoptymalizowana pod kątem wnioskowania strumieniowego.

71
GNU Lesser General Public License v3.0 only

nests-and-insects

Roguelike Tabletop RPG.

50
GNU General Public License v3.0 only

sparqlprog

programowanie logiczne w SPARQL.

42

aleph

Port of Aleph do SWI-Prolog (przez friguzzi).

36

swipldcgtut

Samouczek dla DCG w swi-Prolog.

29

PRESS

PROlog System rozwiązywania równań.

28
MIT

packages-http

Biblioteki serwera HTTP i klienta SWI-Prolog.

22

precautionary

Skoncentrowana na pacjencie diagnostyka bezpieczeństwa w onkologicznych próbach zwiększania dawki, badająca bezpieczeństwo projektu w świetle międzyosobniczej zmienności PKPD..