The BEST Prolog links on the Net!!!!!!

Prolog!

Implementations

ALS Prolog - Applied Logic Systems, Inc. provides a full-featured, Edinburgh-style Prolog compiler with GUI tools for Unix, Windows and Macintosh platforms.

Amzi! - Version 4.x of this extensible Prolog version runs under Windows, Linux and Solaris, supporting development of client and server applications embeddable in C/C++, Java, Delphi, Visual Basic and other environments. An IDE is available for Windows along with an interpreter-based tutorial.

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.

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.

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.

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.

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.

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.

CMU Free/Shareware Prolog - CMU's AI repository offers a collection of Prolog implementations.

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.

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).

IF/Prolog - This ISO-compliant Prolog tool runs under UNIX and Windows and is utilized for industrial and commercial applications. A Constraint Technology Package is additionally available for optimization.

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.

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.

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.

Palm Toy Language - A toy PROLOG interpreter for Palm. First PROLOG in PalmPilot.

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.

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.

Quintus Prolog - The Swedish Institute for Computer Science's implementation of Prolog for UNIX and PC platforms is embeddable, integrable and commercial-strength.

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.

Reform Prolog - a recursion-parallel implementation of Prolog. [Open Source]

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.

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.

SWI-Prolog - The Information Sheet covers a Prolog compiler targeted primarily at research and education.

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.

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.

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.

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.

Prolog!

Websites!

Cetus Links: Prolog - This collection of non-commercial links treats Prolog within the context of object- and component-orientation.

clp(FD) - This constraint logic programming language over Finite Domains (clp(FD)) is based on the wamcc Prolog compiler.

FAQ: Prolog Implementations

Hello, World program - For 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.

Is the ISO Prolog standard taken seriously - article by Roberto Bagnara.

JIPL: Java Interface for Prolog - Interface between Java and Prolog through JNI and reflection.

K-Prolog - This is the English Online Manual for this Japanese implementation of Prolog for Solaris, HP-UX and 32-bit Windows environments.

Logic Programming Associates - This software house supplies WIN-PROLOG, MacProlog32 and Prolog++.

Logtalk - Logtalk is an open-source object-oriented extension to the Prolog programming language. Based on a reflexive architecture, it integrates logic programming with object-oriented and event-driven programming, designed for compatibility with ISO-compliant Prolog compilers.

PC AI: The Prolog Programming Language - Explanations, links.

PiLLoW - Programming in Logic Languages on the Web (PiLLoW) is a public-domain library for developing Web applications using (constraint) logic programming. It constitutes part of the Ciao Prolog development system.

ProFIT - Prolog with Features Inheritance, and Templates: Prolog extension with sorted feature structures (including multi-dimensional inheritance), finite domains, feature search, cyclic terms, templates.

ProFIT: Gregor Erbach - Research scientist, studies: grammar formalisms, parsing algorithms, grammar checking, cross-language text retrieval. ProFIT author.

Prolog - Practical Application Company: Prolog has a long history and bright future. Its recent growth in popularity is due to the flexibility and power of its unique features which set it apart from almost all other languages, and to problems of using other languages for hard problems.

Prolog Management Group: PMG - Begun 1992 to promote awareness and exploitation of Prolog based technology in industry, research, education. Has attended many trade shows, sponsored and helped organize a series of international dissemination and promotional events: seminars, conferences, exhibitions.

ResearchIndex: Complete Logic Systems, Inc, September 1987. 80. D.H.D. Warren - Prolog Instruction Set, Technical Note, SRI International Artificial Intelligence Center, D.S. Warren, S. Dietrich, F. Pereira. The SB Prolog System, SUNY at Stony Brook. Several references for this Prolog.

Simply Logical - Intelligent Reasoning by Example.

Poplog

Astentech.com: Tutorial List: POP-11 - Online education for beginners and advanced users. Read references, getting started notes, manuals.

Information About Poplog and POP-11 - What they are, history, free versions online, platforms, comments, more.

Pop-11 Programming Language - Like Lisp in power, but with more traditional, readable syntax. It is the main implementation language of Poplog environment. Features: proper lexical scoping (procedures are 1st class objects), re-definable/extendible syntax, open user stack (user can explicitly manipulate), dynamic typing, garbage collecting, incremental compiling, lightweight processes, object-oriented extensions (becoming standard part of language in near future), more.

Poplog - Open-source, rapid-prototyping software development environment; incremental compilers for: POP-11, Prolog, Common Lisp, Standard ML. Versions for Linux, Unix, VMS. Downloads, forum postings, libraries, workshops, Twiki, resources.

Popsh - For scripting with Poplog and POP-11: attempt to facilitate use of pop-11, and other Poplog supported languages as scripting languages like Perl, Tcl, Python, Bash.

Prof. Robin Popplestone - Developed many key ideas of POP-11. Now co-directs Laboratory for Perceptual Robotics, University of Massachusetts, Amherst. History: The Early Development of POP, Functional and Interactive Computer Language Design (Design of an Interactive Functional Language).