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


Delaying predicates (freeze)

Author(s): Manuel Carro, Daniel Cabeza.

Version: 1.7#116 (2001/8/9, 17:56:37 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. [BibRef: Prologii,MU-Prolog,naish:nu-prolog,Carlsson] based on the use of attributed variables [BibRef: holzbaur-plilp92,holzbaur-phd].

Usage and interface (freeze)

Documentation on exports (freeze)

PREDICATE: freeze/2:

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

Usage: freeze(X,Goal)

PREDICATE: frozen/2:

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

Usage: frozen(X,Goal)

Documentation on multifiles (freeze)

PREDICATE: verify_attribute/2:

No further documentation available for this predicate.

The predicate is multifile.

PREDICATE: combine_attributes/2:

No further documentation available for this predicate.

The predicate is multifile.


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