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