Copyright (1999-2008) EDMGROUP Pty Ltd - EZY Prolog Reference

List of predicates for group Support predicates

[This is preliminary specification and subject to change.]

List of all groups


Type

Predicate

Parameters

Flow pattern

Description

determ

assert_clause

STRING BODY,
STRING RESULT,
INTEGER POS

(i,o,o)

asserts clause body and returns results RESULT = "Ok" and POS = 0 if no errors detected

determ

clause

STRING HEAD,
TERML BODY

(i,o)

returns the body of the compiled clause

determ

directories

STRING ROOT,
SLIST DIRLIST

(i,o)

Get list of folders DIRLIST for defined directory ROOT

determ

display

TERML

(i)

Display clause

determ

ezy_statistics

STRING STATISTICS

(o)

Get program execution statistic information

determ

filedetails

STRING FILENAME,
INTEGER ATTR,
INTEGER H,
INTEGER M,
INTEGER S,
INTEGER Y,
INTEGER MM,
INTEGER D,
INTEGER Size

(i,o,o,o,o,o,o,o,o)

Get file details

determ

files

STRING PATH_WITH_SLASH,
SLIST FILETYPES,
SLIST FILELIST

(i,i,o)

Get list of files for defined path(ended with slash "\")

nondeterm

for

INTEGER INDEX,
INTEGER FROM,
INTEGER TO

(o,i,i)

Non-deterministically return integers in the range FROM to TO Use for loop creation

determ

functor

TERM ,
STRING ATOM,
INTEGER ARITY

(i,o,o)

Returns name and arity of the given functor

determ

halt

Stops execution of the EZY Prolog program and closes EZY Prolog

determ

help

STRING NAME,
STRING HELP_DATA

(i,o)

Get Help for selected predicate

determ

help_all

STRING CON_DOM_PRE,
SLIST CALL_LIST

(i,o)

Get list of calls for selected sample

determ

license_list

SLIST LICENSES

(o)

Returns list of included licenses

determ

list

TERML

(i)

List claurses inside TERML

determ

log_to_file

STRING FILENAME,
STRING MESSAGE

(i,i)

Write message to the LOG file

determ

op

INTEGER PRIOR,
STRING ASSOC,
STRING OP

(i,i,i)

Defines operator

determ

pie_process_events

Process windows events. Use this inside long loops to release EZY Prolog

determ

pie_version

STRING VERSION

(o)

Returns version of the Prolog Inference Engine

determ

prolog_compile_module

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

read

TERM

(o)

Read term from file File should be opened by "see"/"openread" call See "readterm" for more information

determ

reconsult

STRING FILENAME

(i)

Reconsult clauses from the file

nondeterm

repeat

Indefinite repeat. Use inside loops

determ

see

STRING FILENAME

(i)

Open file for reading

determ

seeing

STRING FILENAME

(o),(i)

Get/Set name of the file for reading

determ

seen

Close opened read file.

determ

state_load

STRING FILENAME

(i)

Load state of the EZY Prolog saved by state_save

determ

state_save

STRING FILENAME

(i)

Saves current state of EZY Prolog

determ

status_line

STRING STATUS_LINE

(i),(o)

Display message in the EZY Prolog status line

determ

tell

STRING FILENAME

(i)

Open file for writing

determ

telling

STRING FILENAME

(o)

Get name of the opened file for writing

determ

told

Close file opened for writing

determ

wait

STRING MESSAGE,
INTEGER SECONDS,
INTEGER SHOW_BUTTON

(i,i,i)

Open waiting dialog


Copyright 1997-2013 EDMGROUP (Australia)