GNU Prolog

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

  1. ^ "Daniel Diaz's Home Page".