Prolog is a logic based artificial intelligence language. It differs from Lisp in terms of the execution control which is based on unification and first order logic.
A short introduction to Prolog by Michel Loiseleur and Nicolas Vigier.
This constraint logic programming language over Finite Domains (clp(FD)) is based on the wamcc Prolog compiler.
A concise, example-based introduction to Prolog for people from the humanities. Uses the freely available Prolog+CG to teach programming within a course in knowledge representation using conceptual graphs.
Draft of a paper in History of Programming Languages, edited by Thomas J. Bergin and Richard G. Gibson, ACM. Abstract and PDF.
Information about Prolog Implementations.
14th International Conference of Applications of Prolog. University of Tokyo, Japan, October 20 - 22, 2001.
article by Roberto Bagnara.
Interface between Java and Prolog through JNI and reflection.
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.
This software house supplies WIN-PROLOG, MacProlog32 and Prolog++.
This collection of non-commercial links treats Prolog within the context of object- and component-orientation.
Prolog programming tutorial and online book.
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.
From basics to advanced topics tutorial by J.R.Fisher.
Open Source AI projects in Prolog.
A comparison of several Prolog systems from a beginners perspective
The complete FAQs from news:comp.lang.prolog
Includes an introduction to Prolog, unification, the back-tracking search process, the source code of a Prolog interpreter, example Prolog programs, the logic of Sir Bedevere (Monty Python), and a Java applet that runs Prolog.
A wiki based book on Prolog.
Intelligent Reasoning by Example.
The Techref page regarding Prolog. Word Prolog meanings. Links.
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.
Thanks to DMOZ, which built a great web directory for nearly two decades and freely shared it with the web. About us