GitHub topics: iso-prolog-standard
trealla-prolog/trealla
A compact, efficient Prolog interpreter written in plain-old C.
Language: C - Size: 5.06 MB - Last synced at: about 8 hours ago - Pushed at: about 8 hours ago - Stars: 306 - Forks: 21
mthom/scryer-prolog
A modern Prolog implementation written mostly in Rust.
Language: Rust - Size: 9.44 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 2,263 - Forks: 150
tau-prolog/tau-prolog
An open source Prolog interpreter in JavaScript
Language: JavaScript - Size: 1.86 MB - Last synced at: 19 days ago - Pushed at: over 2 years ago - Stars: 609 - Forks: 57
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: about 1 month ago - Pushed at: about 1 month ago - Stars: 304 - Forks: 23
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: 5 months ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0
