- Name: gprolog
- Version: 1.4.5
- Release: 2.mga7
- Epoch:
- Group: Development/Other
- License: GPLv2
- Url: http://www.gprolog.org/
- Summary: GNU Prolog is a free implementation of Prolog
- Architecture: x86_64
- Size: 16698191
- Distribution: Mageia
- Vendor: Mageia.Org
- Packager: daviddavid <daviddavid>
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 http://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).
- OptFlags: -O2 -g -pipe -Wformat -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector --param=ssp-buffer-size=4 -fasynchronous-unwind-tables
- Cookie: localhost 1535100439
- Buildhost: localhost
Sources packages:
Other version of this rpm: