4.8 Control Predicates
AllApplicationManualNameSummaryHelp

Availability:built-in
Source[ISO]:Goal1 , :Goal2
Conjunction. True if both `Goal1' and `Goal2' can be proved. It is defined as follows (this definition does not lead to a loop as the second comma is handled by the compiler): 
Goal1, Goal2 :- Goal1, Goal2.