GitHub topics: iso-prolog-standard
trealla-prolog/trealla
A compact, efficient Prolog interpreter written in plain-old C.
Language: C - Size: 4.84 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 296 - Forks: 21
mthom/scryer-prolog
A modern Prolog implementation written mostly in Rust.
Language: Rust - Size: 9.18 MB - Last synced at: 11 days ago - Pushed at: 11 days ago - Stars: 2,235 - Forks: 150
tau-prolog/tau-prolog
An open source Prolog interpreter in JavaScript
Language: JavaScript - Size: 1.86 MB - Last synced at: 18 days ago - Pushed at: over 2 years ago - Stars: 605 - Forks: 55
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: 13 MB - Last synced at: 4 days ago - Pushed at: 7 months ago - Stars: 303 - Forks: 23
AppliedLogicSystems/ALSProlog
ALS Prolog Compiler & Development Environment
Language: C - Size: 29.3 MB - Last synced at: about 2 months ago - Pushed at: about 2 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: 3 months ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0
