gnu-prolog

Prolog compiler with constraint solving
http://www.gprolog.org/

Current versions
1.4.4

Reverse dependencies

The following formula requires gnu-prolog to be installed:
logtalk 3.14.0 Object-oriented logic programming language

Recent formula history

ilovezfs Use “squiggly” heredocs.
Viktor Szakats gnu-prolog: use secure url in comment
Nikolaus Wittenstein Add descriptions to all remaining homebrew packages
Xu Cheng gnu-prolog: add test
Jack Nagel gnu-prolog: deparallelize compilation

Formula code at GitHub