6.1
Control Flow
6.1.1 Meta Rule Protocol
6.1.2 User-definable Conflict Resolution
KnowledgeWorks and Prolog User Guide (Unix version) - 29 Feb 2008
