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

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 (Windows version) - 01 Dec 2021 19:36:03