[ 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.

## See Also

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