Showing 1–4 of 4
Digital logic design tool and simulator
Declarative object-oriented logic programming language
A versatile implementation of the Prolog language
A modern Prolog implementation written mostly in Rust.
