ALS Prolog - Applied Logic Systems, Inc. provides a full-featured, Edinburgh-style Prolog compiler with GUI tools for Unix, Windows and Macintosh platforms.
Amzi! Prolog - This extensible Prolog version runs under Windows, Linux and Solaris, 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.
An introduction to Prolog - A short introduction to Prolog by Loiseleur Michel and Vigier Nicolas.
Aquarius Prolog 1.0 - 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.
Arity/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.
B-Prolog - 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.
BinProlog - 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.
Brain Aid Prolog - 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. Besides the Transputer the system is executable on Sun-OS, related Unices and Linux.
Cetus Links: Prolog - This collection of non-commercial links treats Prolog within the context of object- and component-orientation.
clp(FD) - This constraint logic programming language over Finite Domains (clp(FD)) is based on the wamcc Prolog compiler.
CMU Free/Shareware Prolog - CMU's AI repository offers a collection of Prolog implementations.
cu-Prolog - 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.
EZY Prolog - 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]
FAQ: Prolog Implementations
GNU Prolog - 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).
Hello, World program - For Prolog.
IC-Prolog - 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.
IF/Prolog - IF/Prolog is 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.
INAP2001 - 14th International Conference of Applications of Prolog. University of Tokyo, Japan, October 20 - 22, 2001.
Is the ISO Prolog standard taken seriously - article by Roberto Bagnara.
JavaLog - Experimental Prolog interpreter in Java, mixing Logic and OO paradigms
Jinni 2000 (Java INference Engine and Networked Interactor) - A fast multi-threaded, networking and GUI enabled Prolog compiler, extensible through a Reflection based Java interface.
JIP - Java Internet Prolog is a Prolog Java-compatible interpreter. JDK1.1- and Edinburgh Prolog-compliant this Prolog version allows code written in Prolog to be run in any Java applet or application and Java methods to be called in any Prolog code.
JIPL: Java Interface for Prolog - Interface between Java and Prolog through JNI and reflection.
jProlog - Experimental Prolog to Java compiler, running on JDK 1.0.2 and higher.
K-Prolog - This is the English Online Manual for this Japanese implementation of Prolog for Solaris, HP-UX and 32-bit Windows environments.
Logic Programming Associates - This software house supplies WIN-PROLOG, MacProlog32 and Prolog++.
Logtalk - An open-source object-oriented extension to the Prolog programming language. Integrating logic programming with object-oriented and event-driven programming, is designed for compatibility with ISO-compliant Prolog compilers.
MasterProLog - Formerly known as Prolog by BIM this commercial development and run-time system is available under UNIX and Windows NT. The programming environment is standards-compliant and aimed at performance, robustness, productivity and integration.
MINERVA - Implementation of ISO Prolog in 100% Java. Extensible with any Java class. Callable as servlet, applet, standalone, or Java class library. Includes XML parser and generator. [Commercial]
NU-Prolog - 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.
OOPWeb - Prolog Directory - Prolog programming tutorial and online book.
Palm Toy Language - A toy PROLOG interpreter for Palm. First PROLOG in PalmPilot.
PC AI: The Prolog Programming Language - Explanations, links.
PiLLoW - Programming in Logic Languages on the Web (PiLLoW) is a public-domain library for developing Web applications using (constraint) logic programming. It constitutes part of the Ciao Prolog development system.
ProFIT - Prolog with Features Inheritance, and Templates: Prolog extension with sorted feature structures (including multi-dimensional inheritance), finite domains, feature search, cyclic terms, templates.
ProFIT: Gregor Erbach - Research scientist, studies: grammar formalisms, parsing algorithms, grammar checking, cross-language text retrieval. ProFIT author.
Prolog Comparison - Comparison of the most popular Prolog systems from a beginners point of view.
Prolog Help/References - Reference for beginner logic programmers in Prolog.
Prolog II+ - This compiler developed at the Laboratoire d'Informatique de Marseille allows processing infinite trees and 'equal'- and 'different'-type constraints, efficient control of program flow and modular application structure.
Prolog IV - This compiled constraint programming language is founded on the mathematical model developed by Colmerauer at the Laboratoire d'Informatique de Marseille and complies with the ISO standard.
Qu-Prolog - 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.
Quintus Prolog - The Swedish Institute for Computer Science's implementation of Prolog for UNIX and PC platforms is embeddable, integrable and commercial-strength.
Reform Prolog - a recursion-parallel implementation of Prolog. [Open Source]
ResearchIndex: Complete Logic Systems, Inc, September 1987. 80. D.H.D. Warren - Prolog Instruction Set, Technical Note, SRI International Artificial Intelligence Center, D.S. Warren, S. Dietrich, F. Pereira. The SB Prolog System, SUNY at Stony Brook. Several references for this Prolog.
SICStus Prolog 3 - This ISO-conformant performance-oriented Prolog development system also features interfaces with C/C++, Java and ODBC-compliant DBMS's and an OOP extension.
Simply Logical - Intelligent Reasoning by Example.
Strawberry Prolog - 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.
SWI-Prolog - 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.
Techref - Prolog - The Techref page regarding Prolog. Word Prolog meanings. Links.
The Ciao Prolog Development System - Ciao is a complete, public-domain, ISO-compliant Prolog system with a modular design allowing both restriction and extension of the language.
The YAP Prolog System - 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, an object oriented prolog for Windows - 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.
tuProlog - A Java-based light-weight Prolog for Internet applications and infrastructures, developed at DEIS - Universita' di Bologna. [Free for non-commercial use]
Visual Prolog - A full-featured programming environment is offered with all the facilities necessary to write mission-critical, commercial-grade applications. A freeware version is available.
W-Prolog - This simple interpreter for a Prolog-like language is written in Java. Although not fast the implementation is extremely portable and can be run as an applet under Java-capable web browsers.