Implements the priority tactic.
kw
priority instantiation1 instantiation2 => result
| instantiation1⇩ |
An instantiation object. |
| instantiation2⇩ |
An instantiation object. |
| result |
A boolean. |
The conflict resolution tactic / function priority returns true if and only if instantiation1 is preferred to instantiation2 by the conflict resolution tactic priority, otherwise false. The function is intended to be used primarily by including it in the conflict resolution strategy for a context.
(defcontext my-context1 :strategy (priority)) (defcontext my-context2 :strategy (recency priority))
3.1.5.3 Conflict Resolution
defcontext
deftactic
-priority
instantiation
conflict-set
fire-rule
KnowledgeWorks and Prolog User Guide (Unix version) - 01 Dec 2021 19:35:49