Homebrew Formulae

gnu-prolog

Prolog compiler with constraint solving

http://www.gprolog.org/

Current versions:

stable	✅	1.4.4
bottle	🍾	high_sierra, sierra, el_capitan, yosemite, mavericks

JSON API for gnu-prolog

Formula code on GitHub