GNU Prolog

This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed. Find sources: "GNU Prolog" – news · newspapers · books · scholar · JSTOR (January 2017) (Learn how and when to remove this message)

GNU Prolog
Developer	Daniel Diaz[1]
Stable release	1.5.0 / July 8, 2021; 4 years ago (2021-07-08)
Repository	github.com/didoudiaz/gprolog
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.

• SWI-Prolog
• Comparison of Prolog implementations
• Prolog syntax and semantics

• Official website

This Unix-related article is a stub. You can help Wikipedia by expanding it.

• v
• t
• e