6.1
Control Flow
6.1.1 Meta Rule Protocol
6.1.2 User-definable Conflict Resolution
LispWorks KnowledgeWorks and Prolog User Guide - 15 Jul 2003
