GitHub topics: iso-prolog-standard
trealla-prolog/trealla
A compact, efficient Prolog interpreter written in plain-old C.
Language: C - Size: 5.16 MB - Last synced at: 9 days ago - Pushed at: 9 days ago - Stars: 321 - Forks: 22
mthom/scryer-prolog
A modern Prolog implementation written mostly in Rust.
Language: Rust - Size: 10.2 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 2,295 - Forks: 155
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.3 MB - Last synced at: 29 days ago - Pushed at: 5 months ago - Stars: 315 - Forks: 24
tau-prolog/tau-prolog
An open source Prolog interpreter in JavaScript
Language: JavaScript - Size: 1.86 MB - Last synced at: about 1 month ago - Pushed at: almost 3 years ago - Stars: 620 - Forks: 58
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: 9 months ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
