How Does Matching Work in Prolog?

Literals are matched using a method called unification.

The scope of a variable in Prolog is a single clause.

Unification involves substituting “terms” for variables.

Previous slide

Next slide

Back to first slide

View graphic version