login

Availability:built-in
[ISO]:Goal1 ; :Goal2
The `or' predicate is defined as:
Goal1 ; _Goal2 :- Goal1.
_Goal1 ; Goal2 :- Goal2.