[ Control | 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 @/2).

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.