object
coroutining
Coroutining predicates.
Author: Paulo Moura
Version: 0:3:0
Date: 2020-05-19
Compilation flags:
static, context_switching_calls
Dependencies:
(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:
static
Template:
dif(Term1,Term2)
Mode and number of proofs:
dif(+term,+term)
- zero_or_one
dif/1
Sets a set of constraints that are true iff all terms in a list are different.
Compilation flags:
static
Template:
dif(Terms)
Mode and number of proofs:
dif(+list(term))
- zero_or_one
freeze/2
Delays the execution of a goal until a variable is bound.
Compilation flags:
static
Template:
freeze(Variable,Goal)
Meta-predicate template:
freeze(*,0)
Mode and number of proofs:
freeze(+term,+callable)
- zero_or_more
Protected predicates
(none)
Private predicates
(none)