Showing 1–3 of 3
Declarative object-oriented logic programming language
A versatile implementation of the Prolog language
A modern Prolog implementation written mostly in Rust.