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.