The predicate ;/2 is defined as an infix operator. It is used to express disjunctive subgoals. For example, member/2 can be rewritten as:
member(X,[HThe semantics of ;/2 are roughly equivalent to logical or. Best to avoid its use.T]):-
(
X=H
;
member(X,T)
).
The predicate definition
a:- b ; c.is better written as:
a:- b.If you do use this construct then avoid nesting it deeply as this makes code very hard to read and understand.a:- c.