|
Copyright ® (1999-2008) EDMGROUP Pty Ltd - EZY Prolog Reference |
Type | Predicate | Parameters | Flow pattern | Description |
|---|---|---|---|---|
determ | (i,o,o) | asserts clause body and returns results RESULT = "Ok" and POS = 0 if no errors detected | ||
determ | (i,o) | returns the body of the compiled clause | ||
determ | (i,o) | Get list of folders DIRLIST for defined directory ROOT | ||
determ | (i) | Display clause | ||
determ | STRING STATISTICS | (o) | Get program execution statistic information | |
determ | STRING FILENAME, | (i,o,o,o,o,o,o,o,o) | Get file details | |
determ | (i,i,o) | Get list of files for defined path(ended with slash "\") | ||
nondeterm | (o,i,i) | Non-deterministically return integers in the range FROM to TO Use for loop creation | ||
determ | (i,o,o) | Returns name and arity of the given functor | ||
determ | Stops execution of the EZY Prolog program and closes EZY Prolog | |||
determ | (i,o) | Get Help for selected predicate | ||
determ | (i,o) | Get list of calls for selected sample | ||
determ | SLIST LICENSES | (o) | Returns list of included licenses | |
determ | (i) | List claurses inside TERML | ||
determ | (i,i) | Write message to the LOG file | ||
determ | (i,i,i) | Defines operator | ||
determ | Process windows events. Use this inside long loops to release EZY Prolog | |||
determ | STRING VERSION | (o) | Returns version of the Prolog Inference Engine | |
determ | STRING FILENAME | (i) | Read facts and rules from a text file into the internal database. prolog_compile_module reads facts and rules from the text file FileName(created by saving a database with the save/1 predicate) If the file contains any syntactic errors, consult/1 generates an error. | |
determ | (o) | Read term from file File should be opened by "see"/"openread" call See "readterm" for more information | ||
determ | STRING FILENAME | (i) | Reconsult clauses from the file | |
nondeterm | Indefinite repeat. Use inside loops | |||
determ | STRING FILENAME | (i) | Open file for reading | |
determ | STRING FILENAME | (o),(i) | Get/Set name of the file for reading | |
determ | Close opened read file. | |||
determ | STRING FILENAME | (i) | Load state of the EZY Prolog saved by state_save | |
determ | STRING FILENAME | (i) | Saves current state of EZY Prolog | |
determ | STRING STATUS_LINE | (i),(o) | Display message in the EZY Prolog status line | |
determ | STRING FILENAME | (i) | Open file for writing | |
determ | STRING FILENAME | (o) | Get name of the opened file for writing | |
determ | Close file opened for writing | |||
determ | (i,i,i) | Open waiting dialog |