NextPrevUpTopContentsIndex

conflict-set

Backward Chaining Goal
Summary

Finds the current meta-interpreter rule instantiations.

Signature

conflict-set variable

Arguments

variable

An unbound KnowledgeWorks variable introduced by ? .

Description

This backward chaining goal is only relevant when writing a meta-interpreter for a context. It 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 (Macintosh version) - 29 Feb 2008

NextPrevUpTopContentsIndex