NextPrevUpTopContentsIndex

conflict-set

Backward Chaining Goal
Syntax

conflict-set variable

Arguments

variable should be an unbound KnowledgeWorks variable introduced by ? .

Description

Binds variable to the list of all existing rule instantiations in the currently executing context. This list is in the order preferred by the conflict resolution strategy for the context.

Examples
(conflict-set ?conflict-set)
See also

instantiation

fire-rule


KnowledgeWorks and Prolog User Guide - 4 Apr 2005

NextPrevUpTopContentsIndex