Higher-order

Author(s): Daniel Cabeza Gras.

Version: 1.11#222 (2004/5/24, 13:8:7 CEST)

Version of last change: 1.11#102 (2003/12/22, 16:52:51 CET)

This module is a wrapper to the implementation defined predicate call/1, and implements the call/2 predicate.

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

Usage and interface (hiord_rt)

Documentation on exports (hiord_rt)

PREDICATE: call/1:

call(G)

Executes goal G, restricting the scope of the cuts to the execution of G. Equivalent to writing a variable G in a goal position.

Meta-predicate with arguments: call(goal).

Usage: * ISO *

• The following properties should hold at call time: G is a term which represents a goal, i.e., an atom or a structure. (basic_props:callable/1)
• The following properties hold globally: This predicate is understood natively by CiaoPP. (basic_props:native/1)

PREDICATE: call/2:

call(Pred, Arg1)

There exists a set of builtin predicates of the form call/N with N > 1 which execute predicate Pred given arguments Arg1 ... ArgX. If Pred has already arguments Arg1 is added to the start, the rest to the end. This predicate, when Pred is a variable, can be written using the special Ciao syntax Pred(Arg1,...,ArgX).

Usage:

• The following properties should hold at call time: Pred is a term which represents a goal, i.e., an atom or a structure. (basic_props:callable/1)
• The following properties hold globally: This predicate is understood natively by CiaoPP. (basic_props:native/1)

PREDICATE: SYSCALL/1:

No further documentation available for this predicate.

PREDICATE: $nodebug_call/1:

No further documentation available for this predicate.

Meta-predicate with arguments: $nodebug_call(goal).

PREDICATE: $meta_call/1:

No further documentation available for this predicate.

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