npm

scryer-prolog

Modern ISO Prolog interpreter and debugger written 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 shell$ scryer-prolog
run prolog script from file$ scryer-prolog script.pl
execute prolog query directly$ scryer-prolog -g "member(X, [1,2,3])"
load and consult prolog library$ scryer-prolog -l lists
debug prolog program with trace$ scryer-prolog --debug program.pl