Topic: "iso-prolog-standard"
mthom/scryer-prolog
A modern Prolog implementation written mostly in Rust.
Language: Rust - Size: 9.33 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 2,253 - Forks: 151
tau-prolog/tau-prolog
An open source Prolog interpreter in JavaScript
Language: JavaScript - Size: 1.86 MB - Last synced at: 29 days ago - Pushed at: over 2 years ago - Stars: 608 - Forks: 56
ciao-lang/ciao
Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
Language: Prolog - Size: 15.1 MB - Last synced at: 19 days ago - Pushed at: 19 days ago - Stars: 304 - Forks: 23
trealla-prolog/trealla
A compact, efficient Prolog interpreter written in plain-old C.
Language: C - Size: 4.98 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 299 - Forks: 21
AppliedLogicSystems/ALSProlog
ALS Prolog Compiler & Development Environment
Language: C - Size: 29.3 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 16 - Forks: 9
realfranser/Prolog
Prolog is a programming paradigm which is largely based on formal logic. Any program written in a logic programming language is a set of sentences in logical form, expressing facts and rules about some problem domain.
Language: Prolog - Size: 2.44 MB - Last synced at: 4 months ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0
