Applied Logic Systems, Inc. provides a full-featured, Edinburgh-style Prolog compiler with GUI tools for Unix, Windows and Macintosh platforms.

This extensible Prolog version runs under Windows, Linux, Solaris and HP/UX, supporting development of client and server applications embeddable in the web, C/C++, Java, Delphi, Visual Basic and other environments. An IDE is available for Windows along with an interpreter-based tutorial.

The compiler for this open-source version developed at UCB is built around the Berkeley Abstract Machine, a finer-grained rendition of WAM. An interpreter provided for program development is written in Prolog.

With a compiler and interpreter written in Prolog, C and assembly language and representing a superset of Edinburgh Prolog, a programming environment is offered for Windows/NT.

Free, compact, full CLP system that runs Prolog and CLP(FD) programs. Emulator based, performance similar to SICStus-Prolog. Runs on: FreeBSD, Linux, Solaris, SunOS, Unix, Windows 9x/NT/2000.

Prolog WAM-based compiler (console). Still in development phase. Manual, examples, windows console demo, boot-file download.

BinNet Corporation offers a high-performance, robust Prolog system able to generate C/C++ code and standalone executables and providing high-level networking along with secure internet programming integrated with rule-based reasoning components.

Based on Edinburgh Prolog and extended with object-oriented mechanisms, this Berkeley-style open-source system has a compiler written in Prolog and generating Transputer assembly code.

Full ISO-Prolog compliant system, modular design allows language restriction and extension. Descriptions, contacts, mail lists, downloads. [Open Source, GPL]

CMU's AI repository offers a collection of Prolog implementations.

Constraint Unification Prolog (CUP), developed by Institute for New Generation Computer Technology (ICOT), Japan. Originally written in C with Unix, MacCup for Macintosh, DJCup for MS-DOS. Free software. FTP site.

A typed prolog interpreter, compatible with Visual Prolog, powrefull syntax checker with flow pattern analyser, GUI designer for declarative GUI, built-in functionality for ODBC, Winsock, regular expressions, text parsing, XML processing, HTML formatted output of Prolog source. [Free for research purposes]

This compiler accepts Prolog + constraint programs and produces native binaries. The obtained executable is subsequently stand-alone. The size of this executable can be quite small since GNU Prolog can avoid linking the code of most unused built-in predicates. The performance of GNU Prolog is very encouraging (comparable to commercial systems).

As part of Imperial College's Logic Programming Group Software Products, this Edinburgh-style, WAM-based version provides multiple threading, an object-oriented layer, TCP interfacing and other features.

A Prolog implementation for use in industrial and commercial environments. It complies with the ISO Prolog standard and runs on UNIX and MS-Windows environments. IF/Prolog has a rich set of interfaces to standard software components and an additional Constraint Technology Package for efficient solutions of complex optimization problems. Comes with a Java interface.

Predecessor to GNU Prolog. Compiles Prolog via GCC 2.x

This is the English Online Manual for this Japanese implementation of Prolog for Solaris, HP-UX and 32-bit Windows environments.

WIN-PROLOG, DOS-PROLOG, MacProlog32 compilers. Products range from Prolog++ an OOPs extension, flex an expert system toolkit, and various web based technologies. [Commercial]

An object-oriented extension to the Prolog programming language. It integrates logic programming with object-oriented and event-driven programming. Compatible with most Prolog compilers. [Open source]

The successor of MU-Prolog, this compiled Prolog system designed and implemented in the mid-80's as a 'purer' logic solution, interfaces with UNIFY databases and is available under an academic license.

A toy PROLOG interpreter for Palm. First PROLOG in PalmPilot.

Prolog with Features Inheritance, and Templates: Prolog extension with sorted feature structures (including multi-dimensional inheritance), finite domains, feature search, cyclic terms, templates.

The Software Verification Research Centre (Univ. of Queensland) extended version of Prolog currently released under Linux and Solaris is designed primarily as a prototyping language and tactic language for theorem provers, including support for efficient higher-order programming and logic programming of interactive applications.

The Swedish Institute for Computer Science's implementation of Prolog for UNIX and PC platforms is embeddable, integrable and commercial-strength.

Recursion-parallel Single Program, Multiple Data (SPMD) implementation; assumes one sequential worker and arbitrary, fixed number parallel workers, each worker is process, can have more workers than processors. Successor: High Performance Erlang. [Open Source, GPL]

This ISO-conformant performance-oriented Prolog development system also features interfaces with C/C++, Java and ODBC-compliant DBMS's and an OOP extension.

This Prolog compiler for Windows 95/98/NT and Unix/Linux supports OLE and Prolog CGI Scripts. Strawberry Prolog is suitable for client-server applications and has unique debugging facilities.

Stable and free standard Prolog implementation. Targeted primarily at research and education. Windows, Linux and Unix versions available. Comes with a visual debugger and a GUI environment.

The University of Porto's Edinburgh-style, WAM-based Prolog engine is available on 32-bit machines running Sun and Linux and 64-bit Alphas running OSF UNIX and Linux. An open-source policy is being implemented with regard to distribution.

Trinc-Prolog is a new development tool for the prolog language. Trinc-Prolog supports the ISO Prolog standard and has extended the prolog language with innovative object oriented features. TPWIN,an OO class library is available to develop Windows applications.

A full-featured programming environment is offered with all the facilities necessary to write mission-critical, commercial-grade applications. A freeware version is available.