INTERACTIVE PROLOG GUIDE
© Roman Barták 1997

IMPLEMENTATIONS

---

This page contains growing list of both commercial and free implementations of PROLOG and other logic programming systems. I also place links to PROLOG implementations in other programming languages like JAVA here.

The description of a particular system is as follows:

name of the system	developer list price
URL address (where available)
description
platform

Commercial implementations

Amzi! Prolog+Logic Server	Amzi Inc. n/a
http://www.amzi.com/
system for integration of rule-based components with other applications
Windows 95, NT, 3.x, Solaris, DOS

Arity Prolog	Arity Corporation $650-$1000
pgweiss@netcom.com
PROLOG interpreter and compiler
DOS, OS/2, Windows (NT)

CHIP	Cosytec n/a
sales@cosytec.fr
Constraint Handling in Prolog, a complete environment for the design and developement of decision support applications
UNIX, Windows

ECLiPSe	ECRC 300 DM (free to academic)
http://www.ecrc.de/eclipse/eclipse.html
ECRC Logic Programming System (with constraints)
UNIX (Windows NT - soon)

IF/Prolog	IF Computer n/a
http://www.ifcomputer.com/
PROLOG implementation with constraint technology package
UNIX, Windows 3.1, 95 and NT

LPA Prolog	LPA n/a
http://www.lpa.co.uk/
PROLOG development environment
Macintosh, Windows

Quintus Prolog	SICS n/a
http://www.sics.se/quintus/
a complete Prolog development system
UNIX, PC

SICStus Prolog	SICS n/a
http://www.sics.se/sicstus/
a complete Prolog development system
UNIX (most), Windows (NT and 95), OS/2, and Macintosh

Visual Prolog	PDC $199 - $715 (free 30-days trial)
http://www.pdc.dk/
PROLOG Development Center, formerly known as Turbo Prolog
PC (Windows)

---

Free implementations

Amzi! Logic Explorer	Amzi! Inc. free
http://www.amzi.com/
Prolog tutorial and interpreted development environment
Windows

Aquarius Prolog	UC/Berkeley free
listserv@acal-server.usc.edu
a high-performance, portable Prolog implementation (includes compiler)
MIPS R3000, SPARC, HP 9000 300/400, and Sun3

BinProlog	Paul Tarrau free
http://clement.info.umoncton.ca/BinProlog
PROLOG compiler that uses BinWAM
Sparc, DEC Alpha, DEC MIPS, IBM RS 6000, HP PA-RISC and IBM PC (Win 95/NT, Linux, Solaris)

cu-Prolog	ICOT free
ftp.icot.or.jp
an experimental constraint logic programming language
Macintosh, DOS, BSD UNIX

Open Prolog	Michael Brady free
ftp.cs.tcd.ie/pub/languages/open-prolog/
PROLOG interpreter for the Apple Macintosh
Macintosh

SWI Prolog	Jan Wielemaker free
http://www.swi-prolog.org
SWI-Prolog is a Prolog compiler in Edinburgh Prolog family.
UNIX, Windows 95/NT

Tricia	Uppsala University free
ftp.csd.uu.se/pub/Tricia/
PROLOG interpreter for the Apple Macintosh
Macintosh

---

PROLOG in ...

JavaLog	Alejandro Zunino, Ramiro Iturregui free
http://www.geocities.com/SiliconValley/Haven/6619/JavaLog.html
Prolog interpreter written in Java
Java 1.1.x Virtual Machine

jProlog	Paul Tarau, Bart Demoen free
http://www.cs.kuleuven.ac.be/~bmd/PrologInJava/
portable implementation of PROLOG interpreter in Java programming language Prolog to Java compiler
Macintosh, Windows, UNIX (all with Java Runtime Module)

W-Prolog	Michael Winikoff free
http://www.cs.mu.oz.au/~winikoff/wp/
interpreter for a Prolog like language implemented in Java
Java capable Web browser