Donate
Sandbox
Collaborate
Documentation
Downloads
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
Community
Site
Twitter
Github
npm
Documentation
Manual
Examples
Implementation details
Prolog Predicate Reference
Code
Custom bundle
Installation from npm
Source Code
Contact
Form contact
Collaborators
Contributors
tau.prolog @ gmail.com
© 2017 - 2025
José Antonio Riaza Valverde
Released under the
BSD-3 Clause license