All Manuals > KnowledgeWorks and Prolog User Guide > 7 Reference Guide

fire-rule Backward Chaining Goal

Summary

Fires the given meta-interpreter rule instantiation.

Package

kw

Signature

fire-rule instantiation

Arguments
instantiation
An instantiation object.
Description

The backward chaining goal fire-rule is only relevant when writing a meta-interpreter for a context. fire-rule fires the given rule instantiation instantiation. It is an error if the passed object is not an instantiation object.

Examples
(fire-rule ?instantiation)
See also

start-cycle
instantiation
defcontext
standard-context


KnowledgeWorks and Prolog User Guide (Windows version) - 01 Dec 2021 19:36:03