12 Unification and Encapsulation

The encapsulation aspect of encapsulated search is also useful on its own right. Encapsulation can be used for encapsulating failure which may or may not occur by unification. This is inportant, since failure on top level is considered as a programming error in Oz.

• 12.1 Encapsulating Failure

• 12.2 How to treat a Constraint as a Value?

• 12.3 Constraints as Predicates

• 12.4 Unifying Attribute Value Matrices

• 12.5 Exercises

• 12.6 Program Collection