11.3.6 ,/2   ISO

Synopsis

+P , +Q

Arguments

:P

callable, must be nonvar

:Q

callable, must be nonvar

Description

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 , Q)) to execute P and then Q, with identical effect if it does not contain any cuts.

The scope of cuts in P and Q extends to the containing clause.

Backtracking

Depends on P and Q.

Exceptions

Call errors (see ref-sem-exc).

See Also

ref-sem.