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.