| Name : gprolog
| |
| Version : 1.3.1
| Vendor : (none)
|
| Release : 1pclos2011
| Date : 2011-07-25 00:48:03
|
| Group : Development/Other
| Source RPM : gprolog-1.3.1-1pclos2011.src.rpm
|
| Size : 5.70 MB
| |
| Packager : (none)
| |
| 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 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).
|
RPM found in directory: /vol/rzm3/linux-pclinuxos/pclinuxos/apt/pclinuxos/64bit/RPMS.x86_64 |
