:P/0¶

0:P* ; 0:Q is iso Disjuncjtion of goals (or).

Example:

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

should be read as "p( X) if q( X) or r( X)".