Examples
?- X is 3 \/ 3.
X = 3
yes
?- X is 3 \/ 7.
X = 7
yes
?- X is 3 \/ 6.
X = 7
yes
?- X is 3 \/ 8.
X = 11
yes
?- X is 43 \/ 27.
X = 59
yes
?- X is 27 \/ 43.
X = 59
yes
?- X is 43 \/ 0.
X = 43
yes
?- X is 0 \/ 0.
X = 0
yes\/ - bitwise 'or'. ?- X is 3 \/ 3.
X = 3
yes
?- X is 3 \/ 7.
X = 7
yes
?- X is 3 \/ 6.
X = 7
yes
?- X is 3 \/ 8.
X = 11
yes
?- X is 43 \/ 27.
X = 59
yes
?- X is 27 \/ 43.
X = 59
yes
?- X is 43 \/ 0.
X = 43
yes
?- X is 0 \/ 0.
X = 0
yes