Delaying predicates (freeze)

Author(s): Manuel Carro, Daniel Cabeza.

Version: 1.10#7 (2006/4/26, 19:22:13 CEST)

Version of last change: 1.5#72 (2000/3/19, 19:9:14 CET)

This library offers a simple implementation of freeze/2, frozen/2, etc. [Col82,Nai85,Nai91,Car87] based on the use of attributed variables [Hol92,Hol90].

• Usage and interface (freeze)
• Documentation on exports (freeze)

Usage and interface (freeze)

Documentation on exports (freeze)

PREDICATE: freeze/2:

Meta-predicate with arguments: freeze(?,goal).

Usage: freeze(X, Goal)

• Description: If X is free delay Goal until X is non-variable.
• The following properties should hold at call time: Goal is a term which represents a goal, i.e., an atom or a structure. (basic_props:callable/1)

PREDICATE: frozen/2:

Meta-predicate with arguments: frozen(?,goal).

Usage: frozen(X, Goal)

• Description: Goal is currently delayed until variable X becomes bound.
• The following properties should hold upon exit: Goal is a term which represents a goal, i.e., an atom or a structure. (basic_props:callable/1)

Go to the first, previous, next, last section, table of contents.