Next: , Previous: , Up: Built-Ins   [Contents][Index]


4.6 Other Relations

true

Always succeeds.
true : () <=

false

Always fails.
false : () <=

Term1 = Term2

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?) <=

N1 > N2

Succeeds if N1 is greater than N2.
> : (!num, !num) <=

N1 >= N2

Succeeds if N1 is greater than or equal to N2.
>= : (!num, !num) <=

N1 < N2

Succeeds if N1 is less than N2.
< : (!num, !num) <=

N1 =< N2

Succeeds if N1 is less than or equal to N2.
=< : (!num, !num) <=

X in T

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) <= 

string2term(S, T)

Succeeds if T is the term obtained by parsing the string Sas a Qulog term.
string2term : (!string, term?) <=

current_thread(Name)

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: , Previous: , Up: Built-Ins   [Contents][Index]