List of Figures

• 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)