swi-prolog

ISO/Edinburgh-style Prolog interpreter and development environment

brewmacoslinux
Try with needOr install directly
Source

About

ISO/Edinburgh-style Prolog interpreter

Commands

swiplswipl-ldswipl-win

Examples

Start interactive Prolog REPL$ swipl
Load and execute a Prolog file$ swipl -f program.pl -t main
Run Prolog file with initialization goal$ swipl -c script.pl