GNU Prolog

GNU Prolog
Developer(s) Daniel Diaz[1]
Stable release
1.4.4 / April 12, 2013 (2013-04-12)
Written in C
Operating system Linux, Solaris, Windows, BSD, Mac OS X
Type Compiler
License GNU General Public License v2 (or above) or GNU Lesser General Public License v3 (or above) or both in parallel
Website www.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, Mac OS X and Linux. 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

References


This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.