Name : gprolog
| |
Version : 1.2.19
| Vendor : Fedora Project
|
Release : 5.fc4
| Date : 2006-05-16 18:00:31
|
Group : Development/Languages
| Source RPM : gprolog-1.2.19-5.fc4.src.rpm
|
Size : 3.99 MB
| |
Packager : Fedora Project < http://bugzilla_redhat_com/bugzilla>
| |
Summary : GNU Prolog is a free Prolog compiler
|
Description :
GNU Prolog is a native Prolog compiler with constraint solving over finite domains (FD) developed by Daniel Diaz (http://loco.inria.fr/~diaz).
GNU Prolog 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,...).
GNU Prolog also includes a powerful constraint solver over finite domains with many predefined constraints+heuristics.
|
RPM found in directory: /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/extras/4/i386 |