object
coroutining¶
Coroutining predicates.
Author: Paulo Moura
Version: 0:2:0
Date: 2019-11-28
Compilation flags:
static, context_switching_callsDependencies:
(none)
Remarks:
Supported backend Prolog systems: ECLiPSe, SICStus Prolog, SWI-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_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_moreProtected predicates¶
(none)
Private predicates¶
(none)