,/2

Synopsis

+*P , +*Q

Conjunction: Succeeds if P succeeds and then Q succeeds.

Arguments

P callable [MOD]

Q callable [MOD]

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.

See Also