| Name : gprolog
| |
| Version : 1.2.16
| Vendor : Aurox Sp_ z o_o_
|
| Release : 9.3.aur.2
| Date : 2004-02-14 15:54:50
|
| Group : Development/Languages
| Source RPM : gprolog-1.2.16-9.3.aur.2.src.rpm
|
| Size : 5.90 MB
| |
| Packager : Aurox Sp_ z o_o_ http://www_aurox_org
| |
| Summary : GNU Prolog is a free Prolog compiler with constraint solving over Finite Domains
|
Description :
GNU Prolog is a native Prolog compiler with constraint solving over finite
domains (FD). It is a very efficient native compiler producing (small)
stand-alone executables. GNU-Prolog also offers a classical top-level+debugger.
GNU Prolog conforms to the ISO standard for Prolog but also includes a lot
of extensions (global variables, DCG, sockets, OS interface,...).
It includes a powerful constraint solver over finite domains with many
predefined constraints+heuristics.
|
RPM found in directory: /vol/rzm1/linux-aurox/devel/ALL/packages/unstable/RPMS |
