| 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 |