Module 1

Some unification, some data types and some built-in predicates


This Module has the primary objective of introducing the reader to Prolog's powerful matching features (often called "unification"). In the process, the reader will learn about some of Prolog's data types and some of Prolog's built-in predicates.

Matching with unification
About the use of the built-in predicate '=' and unification. Unification (with its associated instantiation of variables) is probably the most powerful feature of Prolog. Your thorough understanding of unification will contribute greatly to understanding how Prolog programs are written and work.

Some of Prolog's data types
In particular:

Instantiation, matching and unification
The differences between the three operations.

Matching without unification
About the use of the built-in predicate '=='.


Navigation Menu


These Pages are maintained by Dr Peter Hancox

Last updated October 1998