Prolog compiler with constraint solving and logic programming
Prolog compiler with constraint solving
gplc
gprolog
pl2wam
$ gprolog
$ gplc -o program program.pl
$ gprolog --init-goal 'consult(file), halt.'