
|
AgendaComment
|
'Displays the rule activations on the agenda. The optional <module-name-expression> '+'specifies the defmodule from which to show the agenda. If the module name '+'is not specified, the activations from the current module are shown. If an asterisk is '+'used, all activations from all modules are shown. '
|

|
AgendaFunctionName
|
'agenda'
|

|
BindingsComment
|
'Returns a list of all bindings (or variables) defined in the inference engine, including the defglobals'
|

|
BindingsFunctionName
|
'list-bindings'
|

|
DateStrComment
|
'Returns the date converted from system date format to string'
|

|
DateStrFunctionName
|
'date-str'
|

|
DateTimeStrComment
|
'Returns the date and time converted from system datetime format to string'
|

|
DateTimeStrFormatComment
|
'Returns the date and time converted from system '+'datetime format to string using the '+'<format-string-expression> parameter. The '+'<format-string-expression> accepts the same values'+' as the Delphi DateTimeToString function'
|

|
DateTimeStrFormatFunctionName
|
'datetime-str-format'
|

|
DateTimeStrFunctionName
|
'datetime-str'
|

|
DecodeDayComment
|
'Returns the day value from a system date'
|

|
DecodeDayFunctionName
|
'decode-day'
|

|
DecodeHourComment
|
'Returns the hour value from a system time'
|

|
DecodeHourFunctionName
|
'decode-hour'
|

|
DecodeMinFunctionName
|
'decode-minute'
|

|
DecodeMinuteComment
|
'Returns the minute value from a system time'
|

|
DecodeMonthComment
|
'Returns the month value from a system date'
|

|
DecodeMonthFunctionName
|
'decode-month'
|

|
DecodeMSecFunctionName
|
'decode-millisecond'
|

|
DecodeMSecondComment
|
'Returns the millisecond value from a system time'
|

|
DecodeSecFunctionName
|
'decode-second'
|

|
DecodeSecondComment
|
'Returns the second value from a system time'
|

|
DecodeYearComment
|
'Returns the year value from a system date'
|

|
DecodeYearFunctionName
|
'decode-year'
|

|
DefGlobalsComment
|
'Returns a list of all global variables defined in the inference engine'
|

|
DefGlobalsFunctionName
|
'list-defglobals'
|

|
EncodeDateComment
|
'Returns a system date that represents the year, month,'+' and day <integer-expression> parameters'
|

|
EncodeDateFunctionName
|
'encode-date'
|

|
EncodeTimeComment
|
'Returns a system time that represents the hours, minutes,'+' seconds and milliseconds <integer-expression> parameters'
|

|
EncodeTimeFunctionName
|
'encode-time'
|

|
GetDynamicCheckComment
|
'Returns the current value of the dynamic constraint checking behavior'
|

|
GetDynamicCheckFunctionName
|
'get-dynamic-constraint-checking'
|

|
GetStaticCheckComment
|
'Returns the current value of the static constraint checking behavior'
|

|
GetStaticCheckFunctionName
|
'get-static-constraint-checking'
|

|
GuardFunctionComment
|
'"Guards" its function call arguments. The guard '+'function suppresses the activation of its enclosing '+'rule for its function call arguments. Functions, such '+'as Modify or Assert, cannot activate the guarded rule. '+'The guard function is useful when updating a fact and '+'you do not wish the rule to re-activate. If this function is not '+'called from a rule, it has no effect.'
|

|
GuardFunctionName
|
'guard'
|

|
IEParseFunctionComment
|
'Parses and executes the string parameter. The string '+'may be any IECS command; this allows dynamic creation of '+'fact templates, rules, etc as well as executing any function. '+'Returns TRUE if string was successfully parsed and '+'executed, FALSE otherwise'
|

|
IEParseFunctionName
|
'parse'
|

|
IsBindingComment
|
'Returns TRUE if the argument is a binding (variable) name'
|

|
IsBindingFunctionName
|
'is-binding'
|

|
IsDefFactsComment
|
'Returns TRUE if the argument is a deffacts (factset) name'
|

|
IsDefFactsFunctionName
|
'is-deffacts'
|

|
IsDefFunctionComment
|
'Returns TRUE if the argument is a function name'
|

|
IsDefFunctionFunctionName
|
'is-deffunction'
|

|
IsDefGlobalComment
|
'Returns TRUE if the argument is a global variable name'
|

|
IsDefGlobalFunctionName
|
'is-defglobal'
|

|
IsDefRuleComment
|
'Returns TRUE if the argument is a rule name'
|

|
IsDefRuleFunctionName
|
'is-defrule'
|

|
IsDefTemplateComment
|
'Returns TRUE if the argument is a deftemplate (fact template) name'
|

|
IsDefTemplateFunctionName
|
'is-deftemplate'
|

|
IsDefTypeComment
|
'Returns TRUE if the argument is a defined type name'
|

|
IsDefTypeFunctionName
|
'is-deftype'
|

|
ListDefModulesFunctionComment
|
'Displays the defmodules defined in the inference engine'
|

|
ListDefModulesFunctionName
|
'list-defmodules'
|

|
ListDefTypesComment
|
'Lists the defined types contained in the inference engine. The optional <module-name-expression> '+'specifies the defmodule from which to show the deftypes. If the module name '+'is not specified, the deftypes from the current module are shown. If an asterisk is '+'used, all deftypes from all modules are shown. '
|

|
ListDefTypesFunctionName
|
'list-deftypes'
|

|
ListFactSetsComment
|
'Lists the fact sets defined in the inference engine. The optional <module-name-expression> '+'specifies the defmodule from which to show the fact sets. If the module name '+'is not specified, the fact sets from the current module are shown. If an asterisk is '+'used, all fact sets from all modules are shown. '
|

|
ListFactSetsFunctionName
|
'list-deffacts'
|

|
ListFocusStackFunctionComment
|
'Displays the modules on the focus stack'
|

|
ListFocusStackFunctionName
|
'list-focus-stack'
|

|
ListFunctionsComment
|
'Lists the functions available in the inference engine. See '+'the ppdeffunction command to display help about a function'
|

|
ListFunctionsFunctionName
|
'list-deffunctions'
|

|
ListRulesComment
|
'Lists the rules defined in the inference engine. The optional <module-name-expression> '+'specifies the defmodule from which to show the rules. If the module name '+'is not specified, the rules from the current module are shown. If an asterisk is '+'used, all activations from all modules are shown. '
|

|
ListRulesFunctionName
|
'list-defrules'
|

|
ListTemplatesComment
|
'Lists the fact templates defined in the inference engine. The optional <module-name-expression> '+'specifies the defmodule from which to show the fact templates. If the module name '+'is not specified, the fact templates from the current module are shown. If an asterisk is '+'used, all fact templates from all modules are shown. '
|

|
ListTemplatesFunctionName
|
'list-deftemplates'
|

|
PrettyPrintDefFunctionComment
|
'Displays a formatted representation of the function '+'specified by the name, which is suitable for parsing (if interpreted). See '+'the list-deffunctions command to get a list of all the functions '+'available. Note that this function can also display special '+'functions such as deftype, defmodule, defrule, etc'
|

|
PrettyPrintDefFunctionFunctionName
|
'ppdeffunction'
|

|
PrettyPrintDefModuleComment
|
'Displays a formatted representation of the module '+'specified by the name, which is suitable for parsing'
|

|
PrettyPrintDefModuleFunctionName
|
'ppdefmodule'
|

|
PrettyPrintDefTypeComment
|
'Displays a formatted representation of the defined type '+'specified by the name, which is suitable for parsing'
|

|
PrettyPrintDefTypeFunctionName
|
'ppdeftype'
|

|
PrettyPrintFactSetComment
|
'Displays a formatted representation of the fact set '+'specified by the name, which is suitable for parsing'
|

|
PrettyPrintFactSetFunctionName
|
'ppdeffacts'
|

|
PrettyPrintFactTemplateComment
|
'Displays a formatted representation of the fact template '+'specified by the name, which is suitable for parsing'
|

|
PrettyPrintFactTemplateFunctionName
|
'ppdeftemplate'
|

|
PrettyPrintRuleComment
|
'Displays a formatted representation of the rule '+'specified by the name, which is suitable for parsing'
|

|
PrettyPrintRuleFunctionName
|
'ppdefrule'
|

|
ResetGlobalsComment
|
'Sets and displays the ResetGlobals property of the inference engine'
|

|
ResetGlobalsFunctionName
|
'set-reset-globals'
|

|
SetDynamicCheckComment
|
'Sets the dynamic constraint checking behavior. The old '+'behavior value is returned'
|

|
SetDynamicCheckFunctionName
|
'set-dynamic-constraint-checking'
|

|
SetGenComment
|
'Sets the sequence index used by the gensym and gensym* functions'
|

|
SetGenFunctionName
|
'setgen'
|

|
SetStaticCheckComment
|
'Sets the static constraint checking behavior. The old '+'behavior value is returned'
|

|
SetStaticCheckFunctionName
|
'set-static-constraint-checking'
|

|
ShowFactsComment
|
'Displays the facts in the fact list. The optional <module-name-expression> '+'specifies the defmodule from which to show the fact list. If the module name '+'is not specified, the facts from the current module are shown. If an asterisk is '+'used, all facts from all modules are shown. Facts with fact indices less than '+'<start-integer-expression> or greater than <end-integer-expression> are '+'not displayed. <max-integer-expression> controls the maximum '+'number of facts that will be listed'
|

|
ShowFactsFunctionName
|
'facts'
|

|
ShowRulesComment
|
'Displays the rules in the rule base. <logical-name> specifies the '+'optional logical output device to direct the display to'
|

|
ShowRulesFunctionName
|
'rules'
|

|
StrDateComment
|
'Returns the date converted from a string to system date format'
|

|
StrDateFunctionName
|
'str-date'
|

|
StrDateTimeComment
|
'Returns the date and time converted from a string to system datetime format'
|

|
StrDateTimeFunctionName
|
'str-datetime'
|

|
StrTimeComment
|
'Returns the time converted from a string to system time format'
|

|
StrTimeFunctionName
|
'str-time'
|

|
SystemDateComment
|
'Returns the date (stored in a float)'
|

|
SystemDateFunctionName
|
'system-date'
|

|
SystemDateTimeComment
|
'Returns the date and time (stored in a float)'
|

|
SystemDateTimeFunctionName
|
'system-datetime'
|

|
SystemTimeComment
|
'Returns the time in milliseconds since the beginning of the day (stored in a float)'
|

|
SystemTimeFunctionName
|
'system-time'
|

|
TimeComment
|
'Returns the time in seconds since the beginning of the day'
|

|
TimeFunctionName
|
'time'
|

|
TimeStrComment
|
'Returns the time converted from system time format to string'
|

|
TimeStrFunctionName
|
'time-str'
|

|
UnDefFactsComment
|
'Deletes the specified fact set from the inference engine'
|

|
UnDefFactsFunctionName
|
'undeffacts'
|

|
UnDefFunctionComment
|
'Deletes the specified function from the inference engine'
|

|
UnDefFunctionFunctionName
|
'undeffunction'
|

|
UnDefRuleComment
|
'Deletes the specified rule from the rule base'
|

|
UnDefRuleFunctionName
|
'undefrule'
|

|
UnDefTemplateComment
|
'Deletes the specified fact template (and dependent facts and rules) '+'from the inference engine'
|

|
UnDefTemplateFunctionName
|
'undeftemplate'
|

|
UnDefTypeFunctionComment
|
'Deletes the specified defined type (and dependent '+'fact templates, facts and rules) from the inference engine'
|

|
UnDefTypeFunctionName
|
'undeftype'
|