iso-prolog-standard

A modern Prolog implementation written mostly in Rust.

An open source Prolog interpreter in JavaScript

Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.

A compact, efficient Prolog interpreter written in plain-old C.

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.