Implementations (Prolog)

Implementations further on these related pages:

Poplog@

Top/Computers/Programming/Compilers

Implementations Sites:

W-Prolog 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. (Implementations) http://goanna.cs.rmit.edu.au/~winikoff/wp/ Babol Prolog Babol Prolog: Prolog WAM-based compiler (console). Still in development phase. Manual, examples, windows console demo, boot-file download. (Implementations) http://zamek.gda.pl/~budyn/ ALS Prolog ALS Prolog: Applied Logic Systems, Inc. provides a full-featured, Edinburgh-style Prolog compiler with GUI tools for Unix, Windows and Macintosh platforms. (Implementations) http://www.als.com/ JavaLog JavaLog: Experimental Prolog interpreter in Java, mixing Logic and OO paradigms. (Implementations) http://javalog.sourceforge.net/ Arity/Prolog 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. (Implementations) http://www.arity.com/www.pl/products/ap.htm Palm Toy Language Palm Toy Language: A toy PROLOG interpreter for Palm. First PROLOG in PalmPilot. (Implementations) http://www.geocities.com/willowfung/ K-Prolog K-Prolog: This is the English Online Manual for this Japanese implementation of Prolog for Solaris, HP-UX and 32-bit Windows environments. (Implementations) http://prolog.isac.co.jp/doc/en/ JIP 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. (Implementations) http://www.ugosweb.com/jiprolog/ MINERVA 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] (Implementations) http://www.ifcomputer.com/MINERVA/ Jinni 2000 (Java INference Engine and Networked Interactor) 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. (Implementations) http://www.binnetcorp.com/Jinni/ SWI-Prolog 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. (Implementations) http://www.swi-prolog.org/ cu-Prolog 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. (Implementations) ftp://ftp.icot.or.jp/pub/cuprolog/ Quintus Prolog Quintus Prolog: The Swedish Institute for Computer Science's implementation of Prolog for UNIX and PC platforms is embeddable, integrable and commercial-strength. (Implementations) http://www.sics.se/isl/quintus/ Aquarius Prolog 1.0 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. (Implementations) http://www.info.ucl.ac.be/people/PVR/aquarius.html Visual Prolog 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. (Implementations) http://www.visual-prolog.com/ Ciao Prolog Development System Ciao Prolog Development System: Full ISO-Prolog compliant system, modular design allows language restriction and extension. Descriptions, contacts, mail lists, downloads. [Open Source, GPL] (Implementations) http://clip.dia.fi.upm.es/Software/Ciao/ EZY Prolog 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 o (Implementations) http://www.ezy-software.com/ezyprolog/Prolog_Inference_Engine/ezy_prolog_overview.htm Strawberry Prolog 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. (Implementations) http://www.dobrev.com/ Reform Prolog Reform Prolog: Recursion-parallel Single Program, Multiple Data (SPMD) implementation; assumes one sequential worker and arbitrary, fixed number parallel workers, each worker is process, can have more workers than processors. Successor: High Performance Erlang. [Open So (Implementations) http://user.it.uu.se/~thomasl/reform.html The YAP Prolog System 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. (Implementations) http://www.ncc.up.pt/~vsc/Yap/ Logtalk Logtalk: An object-oriented extension to the Prolog programming language. It integrates logic programming with object-oriented and event-driven programming. Compatible with most Prolog compilers. [Open source] (Implementations) http://www.logtalk.org/ Amzi! Prolog + Logic Server Amzi! Prolog + Logic Server: This extensible Prolog version runs under Windows, Linux, Solaris and HP/UX, 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 w (Implementations) http://www.amzi.com/ Qu-Prolog 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 (Implementations) http://www.svrc.uq.edu.au/Software/QuPrologHome.html B-Prolog 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. (Implementations) http://www.sci.brooklyn.cuny.edu/~zhou/bprolog.html Trinc-Prolog, an object oriented prolog for Windows 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 applicat (Implementations) http://www.trinc-prolog.com/ IF/Prolog IF/Prolog: 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 Cons (Implementations) http://www.ifcomputer.de/Products/Prolog/ Logic Programming Associates Logic Programming Associates: WIN-PROLOG, DOS-PROLOG, MacProlog32 compilers. Products range from Prolog++ an OOPs extension, flex an expert system toolkit, and various web based technologies. [Commercial] (Implementations) http://www.lpa.co.uk/ind_pro.htm ProFIT ProFIT: Prolog with Features Inheritance, and Templates: Prolog extension with sorted feature structures (including multi-dimensional inheritance), finite domains, feature search, cyclic terms, templates. (Implementations) http://www.coli.uni-sb.de/~erbach/formal/profit/profit.html Prolog+CG Prolog+CG: Java implementation of Prolog plus the Conceptual Graphs of John Sowa. Object oriented extensions also included. [Open source, LGPL] (Implementations) http://prologpluscg.sourceforge.net CMU Free/Shareware Prolog CMU Free/Shareware Prolog: CMU's AI repository offers a collection of Prolog implementations. (Implementations) http://www-2.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/prolog/impl/prolog/0.html jProlog jProlog: Experimental Prolog to Java compiler, running on JDK 1.0.2 and higher. (Implementations) http://www.cs.kuleuven.ac.be/~bmd/PrologInJava/ SICStus Prolog 3 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. (Implementations) http://www.sics.se/sicstus.html IC-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. (Implementations) http://www-lp.doc.ic.ac.uk/software.html GNU Prolog 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 predic (Implementations) http://pauillac.inria.fr/~diaz/gnu-prolog/ INRIA wamcc INRIA wamcc: Predecessor to GNU Prolog. Compiles Prolog via GCC 2.x (Implementations) ftp://ftp.inria.fr/INRIA/Projects/contraintes/wamcc/ BinProlog 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. (Implementations) http://www.binnetcorp.com/BinProlog/ Brain Aid Prolog 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. (Implementations) http://www.comnets.rwth-aachen.de/~ost/private.html tuProlog tuProlog: A Java-based light-weight Prolog for Internet applications and infrastructures, developed at DEIS - Universita' di Bologna. [Free for non-commercial use] (Implementations) http://lia.deis.unibo.it/research/tuprolog/ NU-Prolog 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. (Implementations) http://www.cs.mu.oz.au/~lee/src/nuprolog/