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

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 (Unix version) - 26 Feb 2015

NextPrevUpTopContentsIndex