NextPrevUpTopContentsIndex

inst-rulename

Function
Summary

Returns the rule name of a rule instantiation.

Signature

inst-rulename instantiation => rulename

Arguments

instantiation

An instantiation object.

Values

rulename

A symbol which is the name of a rule.

Description

Returns the rule name of the instantiation (the name of the rule of which this is an instantiation).

See also

conflict-set
inst-bindings
deftactic
inst-token
instantiation


KnowledgeWorks and Prolog User Guide (Windows version) - 29 Feb 2008

NextPrevUpTopContentsIndex