Miscellaneous predicates

Author(s): Manuel Carro, Daniel Cabeza.

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

Version of last change: 1.3#95 (1999/11/8, 18:37:30 MET)

This module implements some miscellaneous non-logical (but sometimes very useful) predicates.

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

Usage and interface (odd)

Documentation on exports (odd)

PREDICATE: setarg/3:

Usage: setarg(Index, Term, NewArg)

• Description: Replace destructively argument Index in Term by NewArg. The assignment is undone on backtracking. This is a major change to the normal behavior of data assignment in Ciao Prolog.
• The following properties should hold at call time: Index is currently instantiated to an integer. (term_typing:integer/1) Term is a compound term. (basic_props:struct/1) NewArg is any term. (basic_props:term/1)
• The following properties hold upon exit: Index is currently instantiated to an integer. (term_typing:integer/1) Term is a compound term. (basic_props:struct/1) NewArg is any term. (basic_props:term/1)

PREDICATE: undo/1:

Meta-predicate with arguments: undo(goal).

Usage: undo(Goal)

• Description: call(Goal) is executed on backtracking. This is a major change to the normal control of Ciao Prolog execution.
• 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)
• The following properties 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.