prolog-implementation topic
List
prolog-implementation repositories
logica
1.7k
Stars
89
Forks
Watchers
Logica is a logic programming language that compiles to SQL. It runs on Google BigQuery, PostgreSQL and SQLite.
tau-prolog
559
Stars
53
Forks
Watchers
An open source Prolog interpreter in JavaScript
ciao
246
Stars
18
Forks
Watchers
Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
scryer-prolog
1.9k
Stars
112
Forks
Watchers
A modern Prolog implementation written mostly in Rust.
GoT-Check
68
Stars
13
Forks
Watchers
:crossed_swords: Game of Thrones character database and family trees in Prolog
hitchhicker-prolog
18
Stars
3
Forks
Watchers
Javascript porting of Paul Tarau latest Prolog Engine architecture
InductorHtn
30
Stars
6
Forks
Watchers
Lightweight C++/Python Hierarchical Task Network (HTN) AI Engine
minilog
17
Stars
1
Forks
Watchers
A small logic programming language.
wam
25
Stars
1
Forks
Watchers
Gradual WAM implementation using Hassan Aït-Kaci's tutorial reconstruction
ALSProlog
16
Stars
9
Forks
Watchers
ALS Prolog Compiler & Development Environment