[ Control | Reference Manual | Alphabetic Index ]
+Vars ^ +Goal
Succeeds if Goal succeeds.
- Any term, but usually a variable.
- Atom or compound term.
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".
This predicate is sensitive to its module context (tool predicate, see @/2).
Fails if Goal fails
Resatisfiable if Goal is resatisfiable
- (4) instantiation fault
- Goal is not instantiated.
- (5) type error
- Goal is not an atom or a compound term.
refer to bagof/3 for examples.
call / 1, bagof / 3, setof / 3, coverof / 3