:P,0:Q/0¶

0:P,0:Q* is iso, meta Conjunction of goals (and).

The conjunction is a fundamental construct of Prolog. Example:

 p(X) :- q(X), r(X).

should be read as `p( X) if q( X) and r( X).