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

Fork me on GitHub