KnowledgeWorks and Prolog User Guide
>
6 Advanced Topics
6.1
Control Flow
6.1.1 Meta Rule Protocol
6.1.2 User-definable Conflict Resolution
KnowledgeWorks and Prolog User Guide (Unix version) - 22 Dec 2009