6.2.3
Backward Chaining
6.2.3.1 Pattern Matching
6.2.3.2 Tail Recursion
6.2.3.3 Cut
LispWorks KnowledgeWorks and Prolog User Guide - 15 Jul 2003
