Package : gprolog > RPM : gprolog-1.4.0-1.mga2.i586.rpm
Basic items
InstallName | gprolog |
Version | 1.4.0 |
Release | 1.mga2 |
URL | http://www.gprolog.org/ |
Group | Development/Other |
Summary | GNU Prolog is a free implementation of Prolog |
Size | 6,974KB |
Arch | i586 |
License | GPLv2 |
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).
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).
Media information
Distribution release | Mageia 2 |
Media name | core-release |
Media arch | i586 |
Advanced items
Source RPM | gprolog-1.4.0-1.mga2.src.rpm |
Build time | 2011-09-25 22:07:58 |
Changelog | View in Sophie |
Files | View in Sophie |
Dependencies | View in Sophie |