Top : Computers : Programming : Languages : Prolog :
Implementations
Websites
Applied Logic Systems, Inc. provides a full-featured, Edinburgh-style Prolog compiler with GUI tools for Unix, Windows and Macintosh platforms.
http://www.als.com/
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 with an interpreter-based tutorial.
site exerpt
Amzi! Prolog+Logic Server, Adventure in Prolog tutorial, Expert Systems in Prolog, Freeware, Articles, Source Code, Consulting Prolog for programmers to build high-performance rule-based systems. Custom Expert Systems 151; Rule Engines, Intelligent Applications, Private-Labeled Products, Prototypes, Technology Transfer and Training. Tutorials 151; Learn Logic Programming and Expert Systems. Shipping Advisor Demo Query an Amzi! logicbase to advise...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.
http://www.info.ucl.ac.be/people/PVR/aquarius.html
WIN-PROLOG, DOS-PROLOG, MacProlog32 compilers. Products range from Prolog++ an OOPs extension, flex an expert system toolkit, and various web based technologies. [Commercial]
site exerpt
Products Our products comprise a suite of smart software tools both for the Windows desktop and the World Wide Web, as well as legacy tools for the Mac, and 32-bit and 16-bit DOS. To find out more, please select from the...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.
site exerpt
BinNet Corporation Prolog compiler BinProlog Texas based innovative software development company specializing in Java and Prolog based Internet Programming, Intelligent Mobile Agent building tools, distributed AI and networked knowledge processing components. The BinNet Website can be better viewed with a frame capable browser If you...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.
site exerpt
B-Prolog Prolog is a compact and complete CLP system that runs Prolog and CLP(FD) programs. An emulator-based system, B-Prolog has a performance comparable with SICStus-Prolog. Since release in 1994, it has been greatly improved in performance, functionality, robustness, and portability. It...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.
site exerpt
Brain Aid Prolog Abstract Windows frontend is available from ftp.cs.cmu.edu:/user/ai/lang/prolog/impl/parallel/bap/ Here you can read the online dokumentation of BAP. Have fun! If you have any questions, contact me. Brain Aid Prolog Abstract This file is intended to give you a brief idea about BAP....Full ISO-Prolog compliant system, modular design allows language restriction and extension. Descriptions, contacts, mail lists, downloads. [Open Source, GPL]
site exerpt
The Ciao Prolog Development System WWW Site All this software is provided under the GNU GPL and/or LGPL licenses. Support and mailing lists: ciao-users@clip.dia.fi.upm.es: questions (in English) whose answer may be of general interest. Also updates, bug fixes, etc. You need to subscribe during the download process,...Constraint Unification Prolog (CUP) developed by the Institute for New Generation Computer Technology (ICOT), Japan. Originally written in C under Unix, MacCup is for Macintosh, DJCup for MS-DOS, with both implementations released as free software.
ftp://ftp.icot.or.jp/pub/cuprolog/
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.
http://www.swi-prolog.org/
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.
http://www.arity.com/www.pl/products/ap.htm
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).
site exerpt
The GNU Prolog web site Current stable version is gprolog-1.2.16 Table of contents What is GNU Prolog Features How does GNU Prolog work History Supported Platforms last changes Documentation Download Contributions and related developments Mailing lists Reporting bugs What is GNU Prolog GNU Prolog is...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.
site exerpt
NU-Prolog implementation Prolog will be here some day Copyright file. README file for Release 1.6.9. Release 1.6.5 (600kb gzip'ed tar file) Release 1.6.9 (600kb gzip'ed tar file) This is a DEC Alpha port which has not been tested extensively. Manual (gzip'ed postscript...A toy PROLOG interpreter for Palm. First PROLOG in PalmPilot.
site exerpt
Åw Web X A O L F Web ¥DÃD n¦aÂI¡C X z x d¤U¦L¶H¡C s G04/15/02...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.
site exerpt
IF/Prolog IF/Prolog refman.pdf,cons.pdf Menu Index Menu Index Prolog IFProlog Logische Programmierung Künstliche Intelligenz Expertensysteme Suche Constraints Constraint Logic Programming Optimierung Scheduling Planung Resourcen Verteilung Programmiersprache refman.pdf cons.pdf Prolog IFProlog Logische Programmierung Künstliche Intelligenz Expertensysteme Suche Constraints Constraint Logic Programming Optimierung Scheduling...The Swedish Institute for Computer Science's implementation of Prolog for UNIX and PC platforms is embeddable, integrable and commercial-strength.
site exerpt
Quintus Prolog Homepage This is an extremely robust and well proven Prolog implementation well suited for serious commercial applications and research projects which require dependable software tools Quintus Prolog 3.5 Available Now Quintus Prolog for RedHat Linux9. Calling Quintus Prolog from Java. Calling...This ISO-conformant performance-oriented Prolog development system also features interfaces with C/C++, Java and ODBC-compliant DBMS's and an OOP extension.
site exerpt
SICStus Prolog Homepage Stus is built around a high performance Prolog engine with optional native code generation for Sparc processors. SICStus Prolog is efficient and robust for large amounts of data and large applications. Constraint Programming Technology SICStus Prolog provides constraint programming with...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.
site exerpt
Strawberry Prolog This program is dedicated to my teacher, Prof. Dimiter Skordev. Strawberry Prolog version 2.5 Welcome New User, you can sign up at DOWNLOAD center The main innovation in version 2.5 is the support of Unicode and some new very powerful...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 Source, GPL]
site exerpt
Reform Prolog Project Home Page Prolog project was finished in 1996. Its successor is the High Performance Erlang project. People count projects you finish, not the ones you start (David Patterson) A beta release of Reform Prolog is freely available under the GNU GPL Reform...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.
site exerpt
Trinc-Prolog, an object oriented prolog for Windows which supports the ISO Standard Trinc announces availability of Trinc-Prolog R3b RC1 FEB 18, 2002 After 6 months of testing Trinc has released Release Candidate 1 of Trinc-Prolog R3b. Ann: Trinc has moved from Oosterhout to Made MAY 17, 2001 Trinc today announced the move...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]
site exerpt
Logtalk home page Find the latest news about Logtalk (last updated on November 28) Features Summary of Logtalk features Compatibility List of Logtalk compatible Prolog compilers Examples Some examples of Logtalk programs Documentation User and reference manuals, tutorial, FAQ, release notes, and known...A full-featured programming environment is offered with all the facilities necessary to write mission-critical, commercial-grade applications. A freeware version is available.
site exerpt
Visual Prolog: Products, Compiler, Download Free Personal Edition Upgrade from previous versions Download the Personal Edition (will be available soon) Visual Prolog 7.0 Alpha is supplied together with Visual Prolog 6.3 Read about new features What will you find in the next Visual Prolog 7.0 Release? Try Visual...This is the English Online Manual for this Japanese implementation of Prolog for Solaris, HP-UX and 32-bit Windows environments.
http://prolog.isac.co.jp/doc/en/
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.
site exerpt
YAP Prolog System ...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.
http://www-lp.doc.ic.ac.uk/software.html
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]
site exerpt
EZY Prolog overview This software has been written completely in Visual Prolog developed by Prolog Development Center in Denmark. EZY Prolog is compatible with Visual Prolog and PDC/Turbo Prolog syntax. It is not just an interpreter, it has a pre-compiler, which gives programmer...Prolog with Features Inheritance, and Templates: Prolog extension with sorted feature structures (including multi-dimensional inheritance), finite domains, feature search, cyclic terms, templates.
http://www.coli.uni-sb.de/~erbach/formal/profit/profit.html
CMU's AI repository offers a collection of Prolog implementations.
http://www-2.cs.cmu.edu/afs/cs/p...i/lang/prolog/impl/prolog/0.html
Predecessor to GNU Prolog. Compiles Prolog via GCC 2.x
ftp://ftp.inria.fr/INRIA/Projects/contraintes/wamcc/
Prolog WAM-based compiler (console). Still in development phase. Manual, examples, windows console demo, boot-file download.
site exerpt
Programy na zamówienie Kompilator jêzyka Prolog Programy na zamówienie babol Prolog compiler e-mail: budyn@zamek.gda.pl gg: 5683978...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.
site exerpt
QuProlog Home Prolog designed primarily as a prototyping language and tactic language for interactive theorem provers. It is the implementation language for the Ergo theorem prover. Qu-Prolog provides support for symbolic computation on notations which appear in mathematics and in specification languages...