english deutsch
Implementations
Java-Based, ALS Prolog, Amzi! Prolog + Logic Server, Aquarius Prolog 1.0, Arity/Prolog, B-Prolog, Babol Prolog, BinProlog, Brain Aid Prolog, Ciao Prolog Development System, CMU Free/Shareware Prolog
An Introduction to PROLOG
Prolog tutorials by James Power. Revised Alex Monaghan.
An introduction to Prolog
A short introduction to Prolog by Michel Loiseleur and Nicolas Vigier.
BinNet Corp.
C/C++ and Java based Prolog Compilers and Prolog based Internet Programming tools.
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.
Course on Prolog
A concise, example-based introduction to Prolog for people from the humanities. Uses the freely-available Prolog+CG as the example implementation.
Early History of Prolog
Draft of a paper in History of Programming Languages, edited by Thomas J. Bergin and Richard G. Gibson, ACM. Abstract and PDF.
FAQ: Prolog Implementations
Hello, World program
For Prolog.
INAP2001
14th International Conference of Applications of Prolog. University of Tokyo, Japan, October 20 - 22, 2001.
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.
Logic Programming 3D Site
The main idea of this Site is 3D (VRML) representation of the World Wide Web. The Site describes the area of logic programming and Prolog. All the information was collected by Actor Prolog agents.
Logic Programming Associates
This software house supplies WIN-PROLOG, MacProlog32 and Prolog++.
OOPWeb - Prolog Directory
Prolog programming tutorial and online book.
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: Gregor Erbach
Research scientist, studies: grammar formalisms, parsing algorithms, grammar checking, cross-language text retrieval. ProFIT author.
Prolog :- Tutorial
From basics to advanced topics tutorial by J.R.Fisher.
Prolog for Artificial Intelligence
Open Source AI projects in Prolog.
Prolog for Beginners
A comparison of several Prolog systems from a beginners perspective
Prolog Help/References
Reference for beginner logic programmers in Prolog.
Prolog Parsers
A study of the efficiency of various parsing techniches in Prolog, e.g. top-down, bottom-up, oracles, prediction, left-corner, chart. Also a comparison with Lisp. Examples in Prolog and Lisp.
Prolog Resource Guide
The complete FAQs from news:comp.lang.prolog
ResearchIndex: Complete Logic Systems, Inc, Septem
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.
Simple Text Parser
An implementation of a parser in LPA Prolog as well as a report about this parser.
Simply Logical
Intelligent Reasoning by Example.
Techref - Prolog
The Techref page regarding Prolog. Word Prolog meanings. Links.
the Prolog Wikibook
A wiki based based book on Prolog. Part of the Wikibooks project.
Very Basic Natural Language Processing with LPA PR
This website shows how simple natural language processing can be implemented in LPA Prolog.
Warren's Abstract Machine: A tutorial reconst
Online book by Hassan Ait-Kaci. The WAM is an abstract machine tailored to Prolog. It can be realised efficiently on a wide range of hardware, and serves as a target for portable Prolog compilers.