Representation Overview Notes on Methodology

Unification

Much of COGENT's processing is dependent on simple pattern matching. When a triggering message is passed to a process, for example, the rules which are actually triggered are determined by matching the incoming message with the triggering patterns of each rule. The same pattern matching mechanism is used when COGENT is matching a term against a buffer.

The basic pattern matching mechanism that COGENT uses is based on unification of Prolog terms. Two terms unify if:

Note that if a variable occurs more than once in the same term, then each occurrence must be bound to the same value for unification to succeed.

Exercise 1: Which of the following terms unify?
Roderick293
roderick293
[cat, Dog][Cat, dog]

Representation Overview Notes on Methodology