Next: Other Actions, Previous: Other Functions, Up: Built-Ins [Contents][Index]
Always succeeds.
true : () <=
Always fails.
false : () <=
Succeeds if Term1
and Term2
unify.
Any function calls in each argument term are evaluated first using
strict evaluation
- expression arguments evaluated first
- as with every relation call.
= : (term?, term?) <=
Succeeds if N1
is greater than N2
.
> : (!num, !num) <=
Succeeds if N1
is greater than or equal to N2
.
>= : (!num, !num) <=
Succeeds if N1
is less than N2
.
< : (!num, !num) <=
Succeeds if N1
is less than or equal to N2
.
=< : (!num, !num) <=
Succeeds if X
is a term and and T
is a list or set of terms and X
is an element of T
or if X
and T
are both strings and X
is a single character string occurring inT
.
in: (T?,![T?]) <= | (?T,![T]) <= | (?T,!{T}) <= | (?string, !string) <=
Succeeds if T
is the term obtained by parsing the string S
as a Qulog term.
string2term : (!string, term?) <=
Succeeds if Name
is the name of this thread
current_thread : (?atom) <=
get_active_resources(ResourceInfo)
Succeeds if ResourceInfo
is the list of terms
res(atom,[resource])
giving resources used by each running task in a multi-tasking agent. The atom is task name.
get_active_resources : (?term) <=
get_waiting_resources(ResourceInfo)
Succeeds if ResourceInfo
is the list of terms
res(atom,[resource])
giving resources needed by each waiting task in a multi-tasking agent. The atom is task name.
get_waiting_resources : (?term) <=
Next: Other Actions, Previous: Other Functions, Up: Built-Ins [Contents][Index]