gnu-prolog

Prolog compiler with constraint solving

http://www.gprolog.org/

/api/formula-linux/gnu-prolog.json (JSON API)

Linux formula code on GitHub

Current versions:

stable 1.4.5
bottle 🍾 mojave, high_sierra, sierra, el_capitan, x86_64_linux
Fork me on GitHub