Jump to content

GNU Prolog

From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by Janburse (talk | contribs) at 00:05, 5 August 2012. The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.
GNU Prolog
Developer(s)Daniel Diaz
Stable release
1.4.1 (29. June 2012)
Repository
Written inC
Operating systemLinux, Solaris, Windows, BSD, Mac OS X
TypeCompiler
LicenseGNU General Public License v2 (or above) or GNU Lesser General Public License v3 (or above) or both in parallel
Websitewww.gprolog.org

GNU Prolog (also called gprolog) is a compiler developed by Daniel Diaz with an interactive debugging environment for Prolog available for Unix, Windows and Mac OS X. It also supports some extensions to Prolog including constraint programming over a finite domain, parsing using definite clause grammars, and an operating system interface.

The compiler converts the source code into byte code that can be interpreted by a Warren abstract machine (WAM) and converts that to standalone executables.

See also