6.1
Control Flow
6.1.1 Meta Rule Protocol
6.1.2 User-definable Conflict Resolution
LispWorks KnowledgeWorks and Prolog User Guide - 14 Dec 2001
