Prolog Guide - Implementations

 

Guide to Prolog Programming

© Roman Barták, 1998

Home

Previous | Contents | Next

Implementations

Last update: July 12th, 2000

[Commercial] [Free] [Prolog in Java]

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.

Contributions to this page are very welcomed.


Commercial Implementations

Amzi! Prolog+Logic Server

Amzi Inc.
www.amzi.com

system for integration of rule-based components with other applications
Windows 95, NT, 3.x, Solaris, DOS

Arity Prolog

Arity prolog
pgweiss@netcom.com

Prolog interpreter and compiler
DOS, OS/2, Windows (NT)

CHIP

Cosytec
www.cosytec.com

Constraint Handling in Prolog, a complete environment for the design and developement of decision support applications
UNIX, Windows

ECLiPSe

ECRC/IC-Parc
www-icparc.doc.ic.ac.uk/eclipse/

ECRC Logic Programming System (with constraints)
UNIX, Windows NT/95

IF/Prolog

IF Computer
www.ifcomputer.com/IFProlog/

PROLOG implementation with constraint technology package
UNIX, Windows 3.1, 95 and NT

LPA Prolog

LPA
www.lpa.co.uk

PROLOG development environment
Macintosh, Windows

MINERVA

IF Computer
www.ifcomputer.com/MINERVA/

a compiler of ISO-Prolog hosted in Java
UNIX, Windows NT/95 (Java 1.1 enabled environment)

Quintus Prolog

SICS
www.sics.se/quintus/

a complete Prolog development system
UNIX, PC

SICStus Prolog

SICS
www.sics.se/sicstus/

a complete Prolog development system
UNIX (most), Windows (NT and 95), OS/2, and Macintosh

Trinc-Prolog

TRINC
www.trinc-prolog.com

a development tool for the programming language Prolog (ISO Standard)
Windows 95, 98 and NT 4.0

Visual Prolog

PDC
www.visual-prolog.com

PROLOG Development Center, formerly known as Turbo Prolog
DOS, Win 3.1/95/98, NT, OS/2, SCO UNIX and Linux

 


Free Implementations

Amzi! Logic Explorer

Amzi! Inc.
www.amzi.com

Prolog tutorial and interpreted development environment
Windows

Aquarius Prolog

UC/Berkeley
listserv@acal-server.usc.edu

a high-performance, portable Prolog implementation (includes compiler)
MIPS R3000, SPARC, HP 9000 300/400, and Sun3

BProlog

Neng-Fa Zhou
www.sci.brooklyn.cuny.edu/~zhou/bprolog.html

a compact and nearly complete CLP system that runs Prolog and CLP(FD) programs; easy integration with Java
Windows 95/98/NT, Solaris, SunOS, Unix, FreeBSD, Linux

BinProlog

Paul Tarrau
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)

Ciao Prolog

CLIP
clip.dia.fi.upm.es/Software/Ciao

PROLOG programming environment provided under GNU licence
Unix (Linux, SunOS, Solaris, IRIX), Windows 32

cu-Prolog

ICOT
ftp.icot.or.jp/pub/cuprolog/

an experimental constraint logic programming language
Macintosh, DOS, BSD UNIX

GNU Prolog

Daniel Diaz
pauillac.inria.fr/~diaz/gnu-prolog/

a free Prolog compiler with constraint solving over finite domains
SunOS, Solaris, Linux

Open Prolog

Michael Brady
www.cs.tcd.ie/open-prolog/

PROLOG interpreter for the Apple Macintosh
Macintosh

Poplog


www.poplog.org

an integrated, interactive, multi-language software development environment providing incremental compilers for several powerful programming languages: POP-11, PROLOG, Common LISP and Standard ML
Solaris, AIX, Linux, VMS and Windows

Strawberry Prolog

Dimiter Dimitrov Dobrev
www.dobrev.com

a 32-bit Prolog compiler developed to work within operational systems Windows 95/98/NT and Unix/Linux
Windows 95/98/NT, Linux, (soon MacOS)

SWI Prolog

Jan Wielemaker
www.swi.psy.uva.nl/projects/SWI-Prolog/

SWI-Prolog is a Prolog compiler in Edinburgh Prolog family.
UNIX, Windows 95/NT

Tricia

Uppsala University
ftp.csd.uu.se/pub/Tricia/

PROLOG interpreter for the Apple Macintosh
Macintosh

Visual Prolog Personal Edition

PDC
www.visual-prolog.com

A fully functional freeware version of commercial Visual Prolog system for home and education.
Win 3.1/95/98, NT, OS/2, SCO UNIX and Linux

XSB

SUNY
www.cs.sunysb.edu/~sbprolog/

Prolog implementation with tabling (memoization) and that implements the Well-Founded Semantics
Windows 95/98/NT, UNIX

 


Prolog in Java, ...

Prolog4J

Miklos Espak 
http://prolog4j.org
 

lightweight, easy-to-use programming interface over several Prolog interpreters
Java 5 Virtual Machine

jTrolog

Ivar Orstavik 
https://jtrolog.dev.java.net/
 

a small, fairly fast and simple Prolog Interpreter in pure Java
Java Virtual Machine

JLog

Glendon Holst 
http://jlogic.sourceforge.net/
 

an open-source free Prolog implementation in Java
Java capable Web browser or Java Virtual Machine

JIProlog

Ugo Chirico
http://www.ugosweb.com/jiprolog

Java Internet Prolog, a cross-platform pure Java 100% prolog interpreter with IDE
Java capable Web browser or Java 1.1 Virtual Machine

CKI-Prolog

Sieuwert van Otterloo
www.students.cs.uu.nl/~smotterl/prolog/

interpreter for a Prolog language implemented as Java applet
Java capable Web browser

JavaLog

Alejandro Zunino, Ramiro Iturregui
www.exa.unicen.edu.ar/~azunino/javalog.html

Prolog interpreter written in Java
Java 1.1.x Virtual Machine

jProlog

Paul Tarau, Bart Demoen
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)

MINERVA

IF Computer
www.ifcomputer.com/MINERVA

a commercial compiler of ISO-Prolog hosted in Java
UNIX, Windows NT/95 (Java 1.1 enabled environment)

W-Prolog

Michael Winikoff
www.cs.mu.oz.au/~winikoff/wp/

interpreter for a Prolog like language implemented in Java
Java capable Web browser

[Commercial] [Free] [Prolog in Java]


See also:


Designed and maintained by Roman Barták

Previous | Contents | Next