[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

Picat	Neng-Fa Zhou http://www.picat-lang.org
a simple, and yet powerful, logic-based multi-paradigm programming language aimed for general-purpose applications Windows, Cygwin, Linux, MacOS X

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 http://www.swi-prolog.org
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:

• FAQ: Prolog Implementations
• Languages in Java

Designed and maintained by Roman Barták	Previous | Contents | Next