6.2.3
Backward Chaining
6.2.3.1 Pattern Matching
6.2.3.2 Tail Recursion
6.2.3.3 Cut
KnowledgeWorks and Prolog User Guide - 4 Apr 2005
