Prolog Compilers| Prolog Environments | Prolog Examples| Prolog Books| Prolog FAQ| Contact

GNU Prolog
This Prolog compiler complies with the ISO standard for Prolog (with useful extensions like global variables, ability to interface with the operating system, etc) and produces a native binary that can be run standalone. GNU Prolog has more than 300 Prolog built-in predicates, and interactive interpreter, a debugger (and a low-level WAM debugger) and a powerful bidirectional interface between Prolog and C. Platforms supported include Linux (ix86 & PowerPC), Win32(ix86), FreeBSD, OpenBSD, NetBSD, Darwin (PowerPC), SunOS (sparc) and Solaris (ix86 & sparc).
Open Prolog
Open Prolog supports many features of ISO Prolog, including disjunctive calls, negation, if-then and if-then-else, program originated catch and throw exception handling, the "logical" assert and retract of Lindholm & O'Keefe, automatic memory management and garbage collection (except for the name table), etc. It runs on Apple Macintosh machines running Mac OS 7.5.5 and later, as well as under the Classic environment of Mac OS X. The down side is that it runs on Macintosh only.
SWI Prolog
SWI-Prolog supports Edinburgh Prolog and large parts of ISO Prolog. This system sports a robust compiler, a good set of built-in predicates and a flexible interface to the C and C++ language. SWI-Prolog is portable to many platforms, including most Unix/Linux platforms, Windows (NT/2000/XP) and MacOS X (using X11 for graphics). Both 32-bits and 64-bits hardware is supported. Both sources and binaries (Win32, almost all Unix platforms, etc) are provided. The downside is that it does not have a visual level debugger and that it is not vey fast.
Ciao Prolog
Ciao Prolog is a GNU GPL Prolog system that supports ISO Prolog as well as various extensions, such as programming with functions, objects, threads, etc. It comes with libraries that support WWW programming, sockets, interfaces to other languages (eg C, Java, TclTk, relational databases), etc. The compiler generates several forms of architecture-independent and stand-alone executables, which run with speed and efficiency. Library modules can be compiled into compact bytecode or C source files, and linked statically, dynamically, or autoloaded. The system also includes lpdoc, an automatic document generator. Precompiled binaries are available for Windows, and the sources may be compiled for Linux, Mac OS X, SunOS, Solaris, IRIX, etc.
Poplog
Poplog is a software development system that includes incremental compilers for Pop11 (a Lisp-like language with more conventional syntax), Common Lisp (compatible with CLTL2 - Common LISP: The Language, 2nd edition), Prolog (compatible with the Edinburgh definition), and Standard ML. It comes with documentation, program libraries, and teaching materials for AI and Cognitive Science. Source code for the system (as well as example code such as the source code for the famous AI program, Eliza) is included. Supported platforms include Windows, Linux, Solaris on Sparc, Solaris on Intel, Digital Unix on Alpha, AIX on PowerPCs. The downside is that the windows support is limited to W95, W98 and NT.

Back to Homepage