Our book isn't specific to Prolog but it chooses a style of formal description which is close to Prolog, so that you can start to implement some of the ideas directly in a commonly available programming language. The purpose of this page is to help make the book self-contained by giving you a brief guide to basic Prolog programming.

- Introduction
- Getting Started
- Standard Programming Style
- Prolog Terms
- Unification
- Expressing disjunctive subgoals
- Evaluating numerical expressions
- Negation
- Cuts
- Some Common Techniques
- Efficiency Considerations
- Definite Clause Grammars
- Code Examples
- About this document ...

Tue Jul 7 10:44:26 BST 1998