Software Developed by Daniel Diaz

GNU Prolog for Mac OS X  v.1.4.2000

What is GNU Prolog GNU Prolog is a free Prolog compiler with constraint solving over finite domains developed by Daniel Diaz.

GNU Prolog  v.1 4

GNU Prolog is a free Prolog compiler with constraint solving over finite domains. GNU Prolog accepts Prolog constraint programs and produces native binaries (like gcc does from a C source). The obtained executable is then stand-alone.

Newest Reviews