|
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'
|