Perpustakaan yang ditulis dalam Prolog

open-source-rover

Rover 6-roda buatan sendiri berdasarkan rover di Mars!.

7.3k
Apache License 2.0

terminusdb

TerminusDB adalah database terdistribusi dengan model kolaborasi.

2.4k
Apache License 2.0

stabilizer

Stabilizer: Evaluasi Kinerja yang Ketat.

523
Apache License 2.0

the-constitution-of-japan

423

logtalk3

Logtalk - bahasa pemrograman logika berorientasi objek deklaratif.

359
Apache License 2.0

dumbpad

Numpad 4x4 sederhana dengan rotary encoder. Didukung oleh QMK melalui ATmega32u4 Pro Micro.

299
GNU General Public License v3.0 only

BadUSB-Cable

Kabel BadUSB berdasarkan mikrokontroler Attiny85..

274
Creative Commons Attribution 4.0

tar.pl

pembuat tar+ekstraktor dalam ~100 baris prolog.

248

elpi

Penerjemah Prolog Lambda yang Dapat Disematkan.

236
GNU Lesser General Public License v3.0 only

ciao

Ciao adalah implementasi Prolog modern yang dibangun dari kernel sederhana berbasis logika yang dirancang agar portabel, dapat dikembangkan, dan modular..

214
GNU Lesser General Public License v3.0 only

metagol

Metagol - sistem pemrograman logika induktif.

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

clpz

Pemrograman Logika Kendala atas Integer.

160

Gleemin

A Magic: sistem pakar Gathering™.

86

louise

Pembelajaran Meta-Interpretif polinomial-waktu.

77
GNU General Public License v3.0

RTEC

RTEC adalah implementasi Kalkulus Peristiwa yang dioptimalkan untuk penalaran aliran.

71
GNU Lesser General Public License v3.0 only

nests-and-insects

RPG Meja Roguelike.

50
GNU General Public License v3.0 only

sparqlprog

pemrograman logika dengan SPARQL.

42

aleph

Port of Aleph ke SWI-Prolog (oleh friguzzi).

36

swipldcgtut

Sebuah tutorial untuk DCG di swi-Prolog.

29

PRESS

Sistem Pemecahan Persamaan PROlog.

28
MIT

packages-http

Server HTTP SWI-Prolog dan pustaka klien.

22

precautionary

Diagnostik keselamatan yang berpusat pada pasien untuk uji coba peningkatan dosis onkologi, memeriksa keamanan desain mengingat variasi antar-individu dalam PKPD..