Next Prev Up Top Contents Index

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


LispWorks KnowledgeWorks and Prolog User Guide - 15 Jul 2003

Next Prev Up Top Contents Index