Objectives

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:

• atoms
• numbers
• variables

Instantiation, matching and unification

Matching without unification