[ Control | The ECLiPSe Built-In Predicates | Reference Manual | Alphabetic Index ]

+Vars ^ +Goal

Succeeds if Goal succeeds.
Vars
Any term, but usually a variable.
Goal
Atom or compound term.

Description

Calls the goal Goal. This predicate is equivalent to call(Goal) unless used inside bagof/3, setof/3 or coverof/3. In this case it is to be read as "there exist instantiations for the variables in Vars such that Goal is true".

Modules

This predicate is sensitive to its module context (tool predicate, see @/1).

Fail Conditions

Fails if Goal fails

Resatisfiable

Resatisfiable if Goal is resatisfiable

Exceptions

(4) instantiation fault
Goal is not instantiated.
(5) type error
Goal is not an atom or a compound term.

Examples

refer to bagof/3 for examples.



See Also

call / 1, bagof / 3, setof / 3, coverof / 3