,/2
ISO+P ,
+Q
callable, must be nonvar
callable, must be nonvar
This is not normally regarded as a built-in
predicate, since it is part of the syntax of the language. However,
it is like a built-in predicate in that you can say
call((P
to execute P and then
Q.
,
Q))
Depends on P and Q.
Call errors (see ref-sem-exc).