Projects in Awesome Lists tagged with iso-prolog-standard
A curated list of projects in awesome lists tagged with iso-prolog-standard .
https://github.com/mthom/scryer-prolog
A modern Prolog implementation written mostly in Rust.
iso-prolog-standard prolog prolog-implementation prolog-interpreter prolog-programming-language rust
Last synced: 29 Mar 2025
https://github.com/tau-prolog/tau-prolog
An open source Prolog interpreter in JavaScript
iso-prolog-standard javascript logic-programming prolog prolog-implementation prolog-interpreter prolog-programming-language tau-prolog
Last synced: 03 Apr 2025
https://github.com/trealla-prolog/trealla
A compact, efficient Prolog interpreter written in plain-old C.
c iso-prolog-standard prolog prolog-implementation prolog-interpreter prolog-programming-language
Last synced: 14 May 2025
https://github.com/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.
bytecode ciao-prolog clp compiler constraints interpreter iso-prolog-standard logic logic-programming programming-language prolog prolog-compiler prolog-implementation prolog-interpreter prolog-programming-language virtual-machine
Last synced: 12 Apr 2025
https://github.com/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.
iso-prolog-standard logic-programming prolog
Last synced: 14 Mar 2025
