gnu-prolog

Prolog compiler with constraint solving and logic programming

brewmacoslinux
Try with needOr install directly
Source

About

Prolog compiler with constraint solving

Commands

gplcgprologpl2wam

Examples

Start interactive Prolog interpreter$ gprolog
Compile a Prolog source file to executable$ gplc -o program program.pl
Load and run a Prolog file in batch mode$ gprolog --init-goal 'consult(file), halt.'