A modern Prolog implementation written mostly in Rust.
An open source Prolog interpreter in JavaScript
A compact, efficient Prolog interpreter written in plain-old C.
Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
ALS Prolog Compiler & Development Environment
An ISO Prolog dictionary, implemented as an incomplete binary search tree.
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.
Add a description, image, and links to the iso-prolog-standard topic page so that developers can more easily learn about it.
To associate your repository with the iso-prolog-standard topic, visit your repo's landing page and select "manage topics."