|
AndComment
|
'Returns TRUE if every argument evaluates to TRUE, FALSE otherwise'
|
|
AndFunctionName
|
'and'
|
|
AssertComment
|
'Asserts or adds each fact argument to the fact list. The fact '+'index of the last fact added is returned'
|
|
AssertFunctionName
|
'assert'
|
|
AssertStringComment
|
'Asserts or adds each string argument as a fact to the fact list. '+'The fact index of the last fact added is returned'
|
|
AssertStringFunctionName
|
'assert-string'
|
|
BatchComment
|
'Allows batch processing of interactive commands by replacing '+'standard input with the contents of <filename>. Returns TRUE '+'if the file was successfully executed, FALSE otherwise'
|
|
BatchFunctionName
|
'batch'
|
|
BindComment
|
'Binds a variable to a value and returns the evaluated value'
|
|
BindFunctionName
|
'bind'
|
|
CatchKeyword
|
'catch'
|
|
ClearComment
|
'Clears the inference engine of all fact templates, facts, and rules'
|
|
ClearFocusStackComment
|
'Removes all modules from the focus stack'
|
|
ClearFocusStackFunctionName
|
'clear-focus-stack'
|
|
ClearFunctionName
|
'clear'
|
|
ClearStorageComment
|
'Clears the storage area where the store and fetch command '+'save values'
|
|
ClearStorageFunctionName
|
'clear-storage'
|
|
CloseComment
|
'Closes the files associated with the logical name arguments. If '+'no logical name is specified, all files are closed'
|
|
CloseFunctionName
|
'close'
|
|
CopyDirComment
|
'Copy a directory and its contents from a given path to another path'
|
|
CopyDirFunctionName
|
'copy-dir'
|
|
CopyFileComment
|
'Copies a file to a given path'
|
|
CopyFileFunctionName
|
'copy-file'
|
|
CreateDirComment
|
'Creates a directory at the given path. If the directories given in the path do not yet exist, the function attempts to create them'
|
|
CreateDirFunctionName
|
'create-dir'
|
|
CreateMFComment
|
'Creates and returns a multifield value (list) from the arguments'
|
|
CreateMFFunctionName
|
'create$'
|
|
DeleteDirComment
|
'Deletes a directory at the given path. If the recursive parameter is false, nonempty directories will not be deleted.'
|
|
DeleteDirFunctionName
|
'delete-dir'
|
|
DeleteFileComment
|
'Deletes a file at the given path'
|
|
DeleteFileFunctionName
|
'delete-file'
|
|
DeleteMFComment
|
'Returns a new multifield value that is a clone of the <multifield-'+'expression> where every item in the range '+'specified by the <start-integer-expression> to <end-integer-expression> '+'has been deleted. Note that the first item in the multifield has an '+'index of 0'
|
|
DeleteMFFunctionName
|
'delete$'
|
|
DirDelimComment
|
'Returns the directory delimiter for the platform'
|
|
DirDelimFunctionName
|
'dir-delim'
|
|
DoBackwardChainingComment
|
'Prepares the inference engine for backward chaining '+'on a particular fact template or series of fact templates. '+'The command creates backward chaining templates to match the '+'fact template arguments'
|
|
DoBackwardChainingFunctionName
|
'do-backward-chaining'
|
|
DribbleOffComment
|
'Stops capture of standard output started with the "dribble-on" '+'command'
|
|
DribbleOffFunctionName
|
'dribble-off'
|
|
DribbleOnComment
|
'Starts capturing of all standard output to the capture file '+'specified by <filename>. Returns TRUE if the capture file was '+'successfully opened, FALSE otherwise'
|
|
DribbleOnFunctionName
|
'dribble-on'
|
|
DuplicateComment
|
'Asserts a duplicated copy of the fact specified by the fact index, with '+'one or more slot values changed'
|
|
DuplicateFunctionName
|
'duplicate'
|
|
EqComment
|
'Returns TRUE if the first argument equals (in type and value) all '+'of the following arguments'
|
|
EqFunctionName
|
'eq'
|
|
EqStarComment
|
'Returns TRUE if the first argument equals (in value) all '+'of the following arguments. Note that the types may differ'
|
|
EqStarFunctionName
|
'eq*'
|
|
EqualsComment
|
'Returns TRUE if the first numeric argument equals all '+'of the following numeric arguments'
|
|
EqualsFunctionName
|
'='
|
|
ExceptKeyword
|
'except'
|
|
ExitComment
|
'Immediately stops execution of the inference engine'
|
|
ExitFunctionName
|
'exit'
|
|
ExplodeMFComment
|
'Creates a multifield value (list) where every item in the list is '+'a seperate symbol from the <string-expression>'
|
|
ExplodeMFFunctionName
|
'explode$'
|
|
ExtractGlobalComment
|
'Returns the value associated with the variable name, or '+'nil if the variable doesn''t exist'
|
|
ExtractGlobalFunctionName
|
'__get-var'
|
|
FetchComment
|
'Retrieves and returns the value previously stored using the store '+'command. The <lexeme-expression> is the string or symbol used as '+'the key to store the value'
|
|
FetchFunctionName
|
'fetch'
|
|
FirstMFComment
|
'Returns the first item in the <multifield-expression> or NIL '+'if the multifield is empty'
|
|
FirstMFFunctionName
|
'first$'
|
|
FocusComment
|
'Changes the current focus (module). By setting the focus, you change '+'the execution focus to the new module. A subsequent run command will execute '+'the agenda of that module. The focus command not only changes the focus '+'to the new module but returns the module that previously had focus.'+sLineBreak+'By specifying more than one module to the focus command, the modules are '+'pushed onto the focus stack from right to left, i.e., the left module will '+'have active focus and be executed first.'
|
|
FocusFunctionName
|
'focus'
|
|
ForEachComment
|
'Executes a loop where a set of statements are applied to a list. '+'The first argument specifies a variable name. Each item in the '+'second argument list is assigned to the variable and then '+'all the rest of the arguments are executed. The function returns '+'the value of the last statement or the return value if a "return" '+'statement was found. '+'For example, the statement '+' (foreach i (create$ red green blue) (bind ?x (str-cat ?i " color")) (printout t ?x))'+sLineBreak+'will print out'+sLineBreak+' red color'+sLineBreak+' green color'+sLineBreak+' blue color'+sLineBreak+'and return "blue color"'
|
|
ForEachFunctionName
|
'foreach'
|
|
FormatComment
|
'Creates a string and outputs it to the device specified by logical name. '+'The second argument specifies a control string for formatting the '+'evaluated following arguments'
|
|
FormatFunctionName
|
'format'
|
|
GenSymStarComment
|
'Returns a sequenced symbol of the form "genX" where X is an '+'integer. Repeated calls will return monotonically increasing '+'values for X'
|
|
GenSymStarFunctionName
|
'gensym*'
|
|
GetCurrentDirComment
|
'Returns the current directory'
|
|
GetCurrentDirFunctionName
|
'get-current-dir'
|
|
GetCurrentModuleComment
|
'Returns the current module'
|
|
GetCurrentModuleFunctionName
|
'get-current-module'
|
|
GetDirsComment
|
'Returns the sub-directories in a directory as a multislot'
|
|
GetDirsFunctionName
|
'get-dirs'
|
|
GetDocumentsPathComment
|
'Returns the Documents path for the application '
|
|
GetDocumentsPathFunctionName
|
'get-documents-path'
|
|
GetFactDuplicationComment
|
'Returns the boolean value for the current state of the '+'fact duplication behavior. If this function returns FALSE, '+'duplicate facts may be asserted into the fact list. If '+'value is TRUE, duplicate facts are ignored'
|
|
GetFactDuplicationFunctionName
|
'get-fact-duplication'
|
|
GetFileExtComment
|
'Returns the file extension. The resulting string includes the period character that separates the name and extension parts'
|
|
GetFileExtFunctionName
|
'get-file-ext'
|
|
GetFilenameComment
|
'Returns the filename without the path'
|
|
GetFilenameFunctionName
|
'get-filename'
|
|
GetFilePathComment
|
'Returns the path without the filename'
|
|
GetFilePathFunctionName
|
'get-file-path'
|
|
GetFilesComment
|
'Returns the files in a directory as a multislot'
|
|
GetFilesFunctionName
|
'get-files'
|
|
GetFocusComment
|
'Returns the module name of the current focus or FALSE if the focus stack is empty'
|
|
GetFocusFunctionName
|
'get-focus'
|
|
GetFocusStackComment
|
'Returns a multifield value containing of all the module names on the focus stack'
|
|
GetFocusStackFunctionName
|
'get-focus-stack'
|
|
GetHomePathComment
|
'Returns the home path of the application''s writable scratch directory or storage'
|
|
GetHomePathFunctionName
|
'get-home-path'
|
|
GetOSArchitectureComment
|
'Returns the OS architecture'
|
|
GetOSArchitectureFunctionName
|
'get-os-architecture'
|
|
GetOSBuildVersionComment
|
'Returns the OS Build'
|
|
GetOSBuildVersionFunctionName
|
'get-os-build-version'
|
|
GetOSMajorVersionComment
|
'Returns the OS major version'
|
|
GetOSMajorVersionFunctionName
|
'get-os-major-version'
|
|
GetOSMinorVersionComment
|
'Returns the OS minor version'
|
|
GetOSMinorVersionFunctionName
|
'get-os-minor-version'
|
|
GetOSNameComment
|
'Returns the OS name'
|
|
GetOSNameFunctionName
|
'get-os-name'
|
|
GetOSPlatformComment
|
'Returns the OS platform'
|
|
GetOSPlatformFunctionName
|
'get-os-platform'
|
|
GetParentDirComment
|
'Returns the parent directory of a directory'
|
|
GetParentDirFunctionName
|
'get-parent-dir'
|
|
GetRootDirComment
|
'Returns the root directory of a directory'
|
|
GetRootDirFunctionName
|
'get-root-dir'
|
|
GetSlotValueFunctionComment
|
'Returns the value in the fact slot specified by the <slot-name-expression>'
|
|
GetSlotValueFunctionName
|
'get-slot-value'
|
|
GetTempPathComment
|
'Returns the path to the system temporary directory. The path can be used to store temporary files in a centralized system-managed location'
|
|
GetTempPathFunctionName
|
'get-temp-path'
|
|
GtComment
|
'Returns TRUE if, for all arguments, argument n is greater than argument '+'n + 1'
|
|
GtFunctionName
|
'>'
|
|
GtOrEqComment
|
'Returns TRUE if, for all arguments, argument n is greater than or '+'equal to argument n + 1'
|
|
GtOrEqFunctionName
|
'>='
|
|
HaltComment
|
'Halts the execution of the inference engine'
|
|
HaltFunctionName
|
'halt'
|
|
IfComment
|
'Evaluates the first argument. If the first argument is TRUE, then it '+'executes the expressions after the "then" keyword. If the first '+'argument is FALSE and the "else" keyword is present, it executes the '+'expressions after the "else" keyword'
|
|
IfFunctionName
|
'if'
|
|
ImplodeMFComment
|
'Creates and returns a space delimited string which is the concatenation '+'of all the items in the <multifield-expression>'
|
|
ImplodeMFFunctionName
|
'implode$'
|
|
InsertMFComment
|
'Creates and returns a multifield value (list). The <multifield-expression> '+'is evaluated and then the subsequent evaluated expressions are inserted '+'into the multifield at the index specified by <integer-expression>. '+'The item that previously occupied that position (and all subsequent items) '+'are moved up'
|
|
InsertMFFunctionName
|
'insert$'
|
|
IsDirEmptyComment
|
'Returns TRUE if directory is empty'
|
|
IsDirEmptyFunctionName
|
'is-dir-empty'
|
|
IsDirExistsComment
|
'Returns TRUE if the directory exists'
|
|
IsDirExistsFunctionName
|
'is-dir-exists'
|
|
IsFileExistsComment
|
'Returns TRUE if file exists'
|
|
IsFileExistsFunctionName
|
'is-file-exists'
|
|
LengthMFComment
|
'Returns the number of items in the <multifield-expression>'
|
|
LengthMFFunctionName
|
'length$'
|
|
LoadComment
|
'Loads the specified file into the inference engine'
|
|
LoadFactsComment
|
'Loads the facts contained in the file specified by the <filename> '+'argument'
|
|
LoadFactsFunctionName
|
'load-facts'
|
|
LoadFunctionName
|
'load'
|
|
LtComment
|
'Returns TRUE if, for all arguments, argument n is less than argument '+'n + 1'
|
|
LtFunctionName
|
'<'
|
|
LtOrEqComment
|
'Returns TRUE if, for all arguments, argument n is less than or '+'equal to argument n + 1'
|
|
LtOrEqFunctionName
|
'<='
|
|
MemberFunctionComment
|
'Returns the index of the argument that matches the first argument, '+'or FALSE if the first argument is not found. The index returned is 0-based'
|
|
MemberFunctionName
|
'member'
|
|
MemberMFComment
|
'Returns the index of the first entry in the <multifield-expression> list '+'that equals the specified <expression>. The first item has index 0, the '+'second item has index 1, and so on. If the expression is not in the list, the '+'function returns FALSE. If the expression appears more than once in the multifield, '+'the function returns the index of the first appearance'
|
|
MemberMFFunctionName
|
'member$'
|
|
ModifyComment
|
'Modifies the fact specified by the fact index. It assigns new '+'values to the slots of the facts. Note that the fact is retracted '+'and then asserted by this function'
|
|
ModifyFunctionName
|
'modify'
|
|
MoveDirComment
|
'Move or rename a directory and its contents from a given path to another path'
|
|
MoveDirFunctionName
|
'move-dir'
|
|
MoveFileComment
|
'Moves a file from a given path to another path. Move returns FALSE if DestFileName indicates a file that already exists'
|
|
MoveFileFunctionName
|
'move-file'
|
|
NeqComment
|
'Returns TRUE if the first argument equals none of the following '+'arguments'
|
|
NeqFunctionName
|
'neq'
|
|
NotComment
|
'Returns TRUE if the argument evaluates to FALSE, otherwise it '+'returns FALSE'
|
|
NotEqualsComment
|
'Returns TRUE if the numeric first argument equals none of the '+'following numeric arguments'
|
|
NotEqualsFunctionName
|
'<>'
|
|
NotFunctionName
|
'not'
|
|
NthMFComment
|
'Returns the value at the specified index in the <multifield-expression> list. '+'The first item has index 0, the second item has index 1, and so on'
|
|
NthMFFunctionName
|
'nth$'
|
|
OpenComment
|
'Opens the filename and associates the logical name with the file. '+'The optional third argument specifies the mode to open the file in:'+sLineBreak+' r read only (default)'+sLineBreak+' w write only'+sLineBreak+' a append'+sLineBreak+' r+ read and write'
|
|
OpenFunctionName
|
'open'
|
|
OrComment
|
'Returns TRUE if any argument evaluates to TRUE, FALSE otherwise'
|
|
OrFunctionName
|
'or'
|
|
PopFocusComment
|
'Removes the current focus from the focus stack and returns the module name, or FALSE if the focus stack is empty'
|
|
PopFocusFunctionName
|
'pop-focus'
|
|
PrintOutComment
|
'Creates a string and outputs it to the device specified by logical '+'name. The subsequent arguments are evaluated and concatenated '+'into one string'
|
|
PrintOutFunctionName
|
'printout'
|
|
ReadComment
|
'Reads and returns a single field or token from the device specified '+'by the logical name'
|
|
ReadFunctionName
|
'read'
|
|
ReadlineComment
|
'Reads and returns an entire line from the device specified '+'by the logical name. If no input is available, the function returns '+'EOF'
|
|
ReadlineFunctionName
|
'readline'
|
|
RemoveComment
|
'Deletes the specified file. Returns TRUE if the file was deleted,'+' FALSE if the file couldn''t be deleted or does not exist'
|
|
RemoveFunctionName
|
'remove'
|
|
RenameComment
|
'Renames the file <old-file-name> to <new-file-name>. If the '+'operation succeeds, it returns TRUE. If it cannot rename the '+'file (for example, if a file called <new-file-name> already exists), '+'it returns FALSE'
|
|
RenameFileComment
|
'Renames the given file. Note that any path information to new filename is ignored'
|
|
RenameFileFunctionName
|
'rename-file'
|
|
RenameFunctionName
|
'rename'
|
|
ReplaceFileExtComment
|
'Changes the extension of a file name. The extension should include the initial dot. The function does not rename the actual file, it just creates a new file name string.'
|
|
ReplaceFileExtFunctionName
|
'change-file-ext'
|
|
ReplaceFilePathComment
|
'Changes the path of a file name. The function does not rename the actual file, it just creates a new file name string.'
|
|
ReplaceFilePathFunctionName
|
'change-file-path'
|
|
ReplaceMFComment
|
'Returns a multifield value (list) which is a copy of the <multifield-'+'expression> where the items in the range of <start-integer-expression> to '+'<end-integer-expression> have been replaced by the subsequent arguments. '+'For purposes of the range, the <multifield-expression> is indexed starting from 0'
|
|
ReplaceMFFunctionName
|
'replace$'
|
|
ResetComment
|
'Resets the inference engine. First, the agenda is cleared, all '+'facts are deleted, and all global variables are removed. If the '+'ResetGlobals property of the inference engine is true, the global '+'variables are reset to their initial values. Any Fact sets '+'available have their facts asserted. Finally, the initial fact '+'is asserted to start the whole inference process over again'
|
|
ResetFunctionName
|
'reset'
|
|
RestMFComment
|
'Returns a multifield value containing all the fields in <multifield-expression> '+'except the first field'
|
|
RestMFFunctionName
|
'rest$'
|
|
RetractComment
|
'Retracts facts specified by their fact indices from the fact base. '+'If the only argument is an asterisk (*), all facts are retracted'
|
|
RetractFunctionName
|
'retract'
|
|
RetractStringComment
|
'Retracts facts that equal the string arguments from the fact base. '+'If duplicate facts are allowed, only the first fact that matches '+'the string is retracted'
|
|
RetractStringFunctionName
|
'retract-string'
|
|
ReturnComment
|
'Returns the <expression> specified. The return command forces '+'execution to break out of a loop, deffunction, if, or similar structure. '+'If the return command is on the right hand side of a rule and contains '+'no parameters, the rule immediately exits (without executing any other actions) '+'and pops the focus stack'
|
|
ReturnFunctionName
|
'return'
|
|
RunComment
|
'Executes the inference engine and returns the number of steps executed. '+'If the optional argument is specified, the inference engine will execute '+'AT MOST <integer-expression> steps'
|
|
RunFunctionName
|
'run'
|
|
SaveComment
|
'Saves the expert system to the file specified by <filename>. This '+'includes fact templates, facts, fact sets, rules and deffunctions'
|
|
SaveFactsComment
|
'Saves facts currently in the fact base to the file specified '+'by <filename>. The optional arguments specify what type (or '+'class in Pascal jargon) of facts to save, all facts based on the '+'given fact templates will be saved. If no fact template names '+'are specified, all facts are saved'
|
|
SaveFactsFunctionName
|
'save-facts'
|
|
SaveFunctionName
|
'save'
|
|
SetCurrentDirComment
|
'Sets the current directory and returns the new directory'
|
|
SetCurrentDirFunctionName
|
'set-current-dir'
|
|
SetCurrentModuleComment
|
'Sets the current module'
|
|
SetCurrentModuleFunctionName
|
'set-current-module'
|
|
SetFactDuplicationComment
|
'Sets the fact duplication behavior to the <boolean-expression> '+'and returns the previous value of the behavior. If fact '+'duplication is set to FALSE, '+'duplicate facts may be asserted into the fact list. If '+'fact duplication is set to TRUE, duplicate facts are ignored'
|
|
SetFactDuplicationFunctionName
|
'set-fact-duplication'
|
|
StoreComment
|
'Stores the specified value associated with the specified name. You can '+'retrieve the value later using the name and the fetch command'
|
|
StoreFunctionName
|
'store'
|
|
SubseqMFComment
|
'Returns a multifield value containing all the fields in <multifield-expression> '+'between the <start-integer-expression> and <end-integer-expression>. The multifield '+'is a zero-based list'
|
|
SubseqMFFunctionName
|
'subseq$'
|
|
SubsetpMFComment
|
'Returns TRUE if the first argument is a subset of the second argument, '+'FALSE otherwise'
|
|
SubsetpMFFunctionName
|
'subsetp'
|
|
ThrowComment
|
'Raises an exception with the message equal to the <lexeme-expression>. '+'Unless the throw statement is inside a try command, the exception will halt '+'execution of the inference engine'
|
|
ThrowFunctionName
|
'throw'
|
|
TryComment
|
'Evaluates and executes the expressions between the try and the optional '+'finally, catch, or except keywords. If the finally or catch keyword exists '+'and an expression raises an exception, the exception will be caught and '+'execution will resume with the expressions after the finally keyword (if '+'one exists) and then after the catch keyword (if one exists). Either the '+'finally or the catch|except keyword may be optional, but not both.'+sLineBreak+'This statement is similar to the object pascal below:'+sLineBreak+' try'+sLineBreak+' try'+sLineBreak+' ...'+sLineBreak+' finally'+sLineBreak+' ...'+sLineBreak+' end'+sLineBreak+' except'+sLineBreak+' ...'+sLineBreak+' end'+sLineBreak+sLineBreak+'Note: if an exception is raised, the exception message will be stored '+'in the local variable, ?__ERROR'
|
|
TryFunctionName
|
'try'
|
|
UnwatchComment
|
'Deletes the watches on the specified inference engine operations. Watches '+'are like events and force the inference engine to output (using OnPrintOut '+'event) information as they occur'+sLineBreak+' activations - watch rule activations and deletions'+sLineBreak+' facts - watch fact assertions and retractions'+sLineBreak+' focus - watch defmodule focus changes'+sLineBreak+' rules - watch rule additions and removals'+sLineBreak+' compilations - watch rule compilations'+sLineBreak+' statistics - watch execution statistics'+sLineBreak
|
|
UnWatchFunctionName
|
'unwatch'
|
|
VersionComment
|
'Returns a floating point number for the inference engine version '+'being executed'
|
|
VersionFunctionName
|
'version'
|
|
WatchComment
|
'Sets up watches on the specified inference engine operations. Watches '+'are like events and force the inference engine to output (using OnPrintOut '+'event) information as they occur'+sLineBreak+' activations - watch rule activations and deletions'+sLineBreak+' facts - watch fact assertions and retractions'+sLineBreak+' focus - watch defmodule focus changes'+sLineBreak+' rules - watch rule additions and removals'+sLineBreak+' compilations - watch rule compilations'+sLineBreak+' statistics - watch execution statistics'+sLineBreak
|
|
WatchFunctionName
|
'watch'
|
|
WhileComment
|
'Evaluates and executes the expressions in a loop as long as the boolean '+'expression evaluates to TRUE. The <boolean-expression> is evaluated BEFORE '+'the start of the loop, including the first time'
|
|
WhileFunctionName
|
'while'
|
