These web pages describe the ISO conformant version of the Prolog language. The pages are in several parts:

• A history and overview of the standard;
• The builtin predicates and control constructs of the language;
• Prolog semantics;
• Test suites Test of conformance to the ISO standard;
• Input Output in ISO Prolog ;
• Exception Handling in ISO Prolog
• The modules proposal;
• A Prolog Bibliography.

---

Author: J.P.E. Hodgson

Inria Rocquencourt
78153 Le Chesnay Cedex
France

Saint Joseph's University
Philadelphia PA 19131
USA

Last Changed: 1999/06/14