iso-prolog-standard topic
List
iso-prolog-standard repositories
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.
trealla
236
Stars
11
Forks
Watchers
A compact, efficient Prolog interpreter written in plain-old C.
ALSProlog
16
Stars
9
Forks
Watchers
ALS Prolog Compiler & Development Environment