Filewatcher File Search File Search
Catalog
Content Search
» » » » » »

gprolog

GNU Prolog is a free Prolog compiler

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.

Homepage:
Package version:1.4.0
Architecture:src
Distribution:Fedora
Filename:gprolog-1.4.0-5.fc17.src.rpm

Browse inside gprolog-1.4.0-5.fc17.src.rpm

4.73 KB2014-11-29gprolog-1.4.0-ma2asm-pllong.patch  view  3 mirrors
3.09 MB2014-11-29gprolog-1.4.0.tar.gz
426 B2014-11-29gprolog-1.4.0-test.patch  view
5.75 KB2014-11-29gprolog.spec  view
1.10 KB2014-11-29HEADER  view  131 mirrors

Download gprolog-1.4.0-5.fc17.src.rpm

Results 1 - 1 of 1
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2017 FileWatcher.com