Summary: GNU Prolog is a free implementation of Prolog

Description:
GNU Prolog is a native Prolog compiler with constraint solving over finite domains (FD) developed by Daniel Diaz. Latest information about GNU Prolog can be found at https://www.gnu.org/software/prolog. A lot of work has been devoted to the ISO compatibility. GNU Prolog is very close to the ISO standard (http://www.logic-programming.org/prolog_std.html).
URL: http://www.gprolog.org/
License: GPLv2

Last packager: umeabot <umeabot>