- A Failed Match
- A Successful Match
- The Byrd Box Model Illustrated
- Illustrating Simple Flow of Control
- Program Example with Byrd Box Representation
- The AND/OR Tree for the Goal
**a(X,Y)** - The Development of the AND/OR Proof Tree
- Yuppies on the Move
- The Proof Tree for
**triple([1,2],Y)** - The Proof Tree for
**triple([1,2],[],Y)** - A Parse Tree
- The Effect of
**cut**on the AND/OR Tree - The First Solution to the Goal
**sum(2,Ans)** - Resatisfying the Goal
**sum(2,Ans)** - The Effect of the cut on the Goal
**sum(2,Ans)**

Mon May 24 20:14:48 BST 1999