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

NextPrevUpTopContentsIndex

inst-rulename Function

Summary

Returns the rule name of a rule instantiation.

Package

kw

Signature

inst-rulename instantiation => rulename

Arguments
instantiation⇩
An instantiation object.
Values
rulename
A symbol which is the name of a rule.
Description

The function inst-rulename returns the rule name of 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) - 01 Dec 2021 19:35:49

NextPrevUpTopContentsIndex