|
|
|
|
Home / Computers / Programming / Languages / Prolog / Implementations
|
|
|
|
Web Sites
|
- ALS Prolog - Applied Logic Systems, Inc. provides a full-featured, Edinburgh-style Prolog compiler with GUI tools for Unix, Windows and Macintosh platforms.
www.als.com
- 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.
www.amzi.com
- 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.
www.info.ucl.ac.be/people/PVR/aquarius.html
- 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.
www.arity.com/prolog.html
- 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.
www.sci.brooklyn.cuny.edu/~zhou/bprolog.html
- 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.
www.binnetcorp.com/BinProlog
- 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.
www.comnets.rwth-aachen.de/~ost/private.html
- CMU Free/Shareware Prolog - CMU's AI repository offers a collection of Prolog implementations.
www.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/prolog/impl/prolog/0.html
- 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.
ftp://ftp.icot.or.jp/pub/cuprolog
- 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]
www.ezy-software.com/ezyprolog/Prolog_Inference_Engine/ezy_prolog_overview.htm
- 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).
pauillac.inria.fr/~diaz/gnu-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.
www-lp.doc.ic.ac.uk/software.html
- 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.
www.ifcomputer.de
- JavaLog - Experimental Prolog interpreter in Java, mixing Logic and OO paradigms
www.exa.unicen.edu.ar/~azunino/javalog.html
- 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.
www.binnetcorp.com/Jinni
- 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.
www.geocities.com/jiprolog
- jProlog - Experimental Prolog to Java compiler, running on JDK 1.0.2 and higher.
www.cs.kuleuven.ac.be/~bmd/PrologInJava
- K-Prolog - This is the English Online Manual for this Japanese implementation of Prolog for Solaris, HP-UX and 32-bit Windows environments.
Prolog.isac.co.jp/doc/en
- 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.
www.logtalk.org
- 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.
www.itmasters.com/Products/MP/index.html
- 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]
www.ifcomputer.com/MINERVA
- 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.
www.cs.mu.oz.au/~lee/src/nuprolog
- Palm Toy Language - A toy PROLOG interpreter for Palm. First PROLOG in PalmPilot.
www.geocities.com/willowfung
- 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.
prologianet.univ-mrs.fr/Us/prolog2.html
- 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.
prologianet.univ-mrs.fr/Us/prolog4.html
- 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.
svrc.it.uq.edu.au/pages/QuProlog_release.html
- Quintus Prolog - The Swedish Institute for Computer Science's implementation of Prolog for UNIX and PC platforms is embeddable, integrable and commercial-strength.
www.sics.se/isl/quintus
- Reform Prolog - a recursion-parallel implementation of Prolog. [Open Source]
www.csd.uu.se/~thomasl/reform.html
- 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.
www.sics.se/sicstus.html
- 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.
www.dobrev.com
- 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.
clip.dia.fi.upm.es/Software/Ciao
- 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.
www.ncc.up.pt/~vsc/Yap
- 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.
www.trinc-prolog.com
- tuProlog - A Java-based light-weight Prolog for Internet applications and infrastructures, developed at DEIS - Universita' di Bologna. [Free for non-commercial use]
lia.deis.unibo.it/research/tuprolog
- 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.
www.visual-prolog.com
- 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.
www.cs.mu.oz.au/~winikoff/wp
- 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.
www.swi-prolog.org
|
|
|
|
|