Package : gprolog > RPM : gprolog-1.3.1-3.mga1.i586.rpm
Basic items
Install| Name | gprolog |
| Version | 1.3.1 |
| Release | 3.mga1 |
| URL | http://gnu-prolog.inria.fr/ |
| Group | Development/Other |
| Summary | GNU Prolog is a free implementation of Prolog |
| Size | 6,432KB |
| 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 1 |
| Media name | core-release |
| Media arch | i586 |
Advanced items
| Source RPM | gprolog-1.3.1-3.mga1.src.rpm |
| Build time | 2011-01-09 16:28:46 |
| Changelog | View in Sophie |
| Files | View in Sophie |
| Dependencies | View in Sophie |