[ 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