Prolog compiler with constraint solving

Current version:


Reverse dependencies

The following formula requires gnu-prolog to be installed:

Formula history

Viktor Szakatsgnu-prolog: use secure url in comment
Nikolaus WittensteinAdd descriptions to all remaining homebrew packages
Xu Chenggnu-prolog: add test
Jack Nagelgnu-prolog: deparallelize compilation
Jack NagelUse githubusercontent domain
Jack Nagelgnu-prolog: use checksummed patches
Jack Nagelgnu-prolog: fix build with clang
Courtney Wilburngnu-prolog: update download url
Adam Vandenberggnu-prolog 1.4.4
Adam Vandenberggnu-prolog 1.4.3
Show all revisions of this formula