KnowledgeWorks and Prolog User Guide
>
6 Advanced Topics
>
6.2 Optimization
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) - 22 Dec 2009