Documentation Prolog Predicate Reference builtin ;/2

;/2

Disjunction.

Description

';'( +callable_term, +callable_term )

';'(Either, Or) is true if and only if either Either or Or is true.

Implementation