indexINTERACTIVE PROLOG GUIDE
© Roman Barták 1997


Table of Contents

Previous Chapter
(FAQs)

Next Chapter
(samples)


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


Tip:

Use Find-in-page function of your browser to locate PROLOG implementations for a specific computer platform (use keywords like Macintosh, Windows etc.)


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


Table of Contents

Previous Chapter
(FAQs)

Next Chapter
(samples)


Last update 17th February 1998
Designed and maintained by
Roman Bartak
© February 1998