GNU Prolog

From Wikipedia, the free encyclopedia
Jump to: navigation, search
GNU Prolog
Developer(s) Daniel Diaz[1]
Stable release
1.4.4 / April 12, 2013; 3 years ago (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

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[edit]


External links[edit]