<< Prev
- Up -
Next >>
11 Encapsulated Search
11.1 Unification as Constraint Solving
11.2 Failure versus Programming Error
11.3 Encapsulated Search
11.3.1 Stability
11.3.2 Global Variables
11.3.3 Stateful Data Structures
<< Prev
- Up -
Next >>
Denys Duchier
,
Claire Gardent
and
Joachim Niehren
Version 1.3.99 (20050412)