[
ECLiPSe Control built-in.
|
Group Index
|
Full 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".
Fail Conditions
Fails if Goal fails.
Resatisfiable
No.
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