2 Matching and Proof Search

Today's lecture has two main goals:

  1. To discuss the idea of matching in Prolog, and to explain how Prolog matching differs from standard unification. Along the way, we'll introduce =, the built-in Prolog predicate for matching.

  2. To explain the search strategy Prolog uses when it tries to prove something.

Patrick Blackburn, Johan Bos and Kristina Striegnitz
Version 1.2.5 (20030212)