Disjunction

• ;
• Multiple rules
• P :- Q. P :- R,S. $\rightarrow$ P :- Q;R,S.
• predecessor(X,Z) :- parent(X,Z); parent(X,Y), predecessor(Y,Z).