Article · Wikipedia archive · Last revised Jul 13, 2026

GNU Prolog

GNU Prolog 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.

Last revised
Jul 13, 2026
Read time
≈ 1 min
Length
137 w
Citations
1
Source
GNU Prolog
DeveloperDaniel Diaz1
Stable release
1.5.0 / July 8, 2021 (2021-07-08)
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 Edit this on Wikidata
Repository

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

See also

References

References

External links