object
coroutining
Coroutining predicates.
Availability:
logtalk_load(coroutining(loader))Author: Paulo Moura
Version: 0:5:0
Date: 2021-12-17
Compilation flags:
static, context_switching_callsDependencies:
(none)
Remarks:
Supported backend Prolog systems: ECLiPSe, LVM, SICStus Prolog, SWI-Prolog, Trealla Prolog, and YAP.
Inherited public predicates:
(none)
Public predicates
dif/2
Sets a constraint that is true iff the two terms are different.
Compilation flags:
staticTemplate:
dif(Term1,Term2)Mode and number of proofs:
dif(+term,+term) - zero_or_onedif/1
Sets a set of constraints that are true iff all terms in a list are different.
Compilation flags:
staticTemplate:
dif(Terms)Mode and number of proofs:
dif(+list(term)) - zero_or_onefreeze/2
Delays the execution of a goal until a variable is bound.
Compilation flags:
staticTemplate:
freeze(Variable,Goal)Meta-predicate template:
freeze(*,0)Mode and number of proofs:
freeze(+term,+callable) - zero_or_morefrozen/2
Unifies Goal with the goal delayed by Variable. When no goals are frozen on Variable, Goal is unified with true.
Compilation flags:
staticTemplate:
frozen(Variable,Goal)Mode and number of proofs:
frozen(@var,--callable) - onewhen/2
Calls Goal when Condition becomes true. The portable conditions are: nonvar/1, ground/1, (,)/2, and (;)/2.
Compilation flags:
staticTemplate:
when(Condition,Goal)Meta-predicate template:
when(*,0)Mode and number of proofs:
when(+callable,+callable) - zero_or_moreProtected predicates
(none)
Private predicates
(none)
Operators
(none)