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 (Unix version) - 29 Feb 2008
