npm

scryer-prolog

Modern ISO Prolog implementation written mostly in Rust

brewmacoslinux
Try with needOr install directly
Source

About

Modern ISO Prolog implementation written mostly in Rust

Commands

scryer-prolog

Examples

Start interactive Prolog REPL session$ scryer-prolog
Load and execute a Prolog file$ scryer-prolog program.pl
Query a loaded Prolog program$ scryer-prolog -g "member(X, [1,2,3])."