Did you know ... Search Documentation:
Predicate tor/2
 tor(+G1, +G2)
Hookable disjunction. This operator should be used instead of normal disjunction.