NextPrevUpTopContentsIndex

inst-rulename

Function
Syntax

inst-rulename instantiation

Arguments

instantiation is an instantiation object.

Description

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

Values

A symbol which is the name of a rule.

See also

conflict-set

inst-bindings

deftactic

inst-token

instantiation


KnowledgeWorks and Prolog User Guide - 4 Apr 2005

NextPrevUpTopContentsIndex