Terms and Conditions:
J. R. Fisher wrote:Please notify the author before including a link to any of the pages in this tutorial. Permission to copy is denied. Permission to link is freely granted.
Prolog is the major example of a fourth generation programming language supporting the declarative programming paradigm. The programs in this tutorial are written in 'standard' University of Edinburgh Prolog
, as specified in the classic Prolog textbook by authors Clocksin and Mellish (1981,1992). Some references in this tutorial also use a version of PrologII
, a family of Prolog which are the descendants of the 'first' Prolog, Marseille Prolog
. There are differences between these two varieties of Prolog; part of the difference is syntax, and part is semantics. However, students who learn either kind of Prolog can easily adapt to the other kind.
This tutorial is intended to be used to help learn the essential, basic concepts of Prolog. The sample programs have been especially chosen to help promote the use of Prolog programming in an artificial intelligence course. Lisp
and Prolog are the most frequently used symbolic programming languages for artificial intelligence. They are widely regarded as excellent languages for 'exploratory' and 'prototype programming'.
Earlier versions of portions of this tutorial date back to 1988. The introductory material was used to help explain and promote an extended Prolog interpreter developed by the author. The introductory material, gathered together in the form given here might be very useful for the student who wants a quick, but well-tailored, introduction to Prolog.