Native Prolog compiler with constraint solving over finite domains (FD) | |
http://www.gprolog.org/ | |
gprolog-1.5.0-r1 | || ( GPL-2+ LGPL-3+ ) |
download~amd64 ~ppc ~x86 ~amd64-linux ~x86-linux ~ppc-macos | gentoo |
gprolog-1.4.5 | || ( GPL-2+ LGPL-3+ ) |
downloadamd64 ppc x86 ~amd64-linux ~x86-linux ~ppc-macos | gentoo |