Examples
?- X is 3 /\ 3.
X = 3
yes
?- X is 3 /\ 7.
X = 3
yes
?- X is 3 /\ 6.
X = 2
yes
?- X is 3 /\ 8.
X = 0
yes
?- X is 43 /\ 27.
X = 11
yes
?- X is 27 /\ 43.
X = 11
yes
?- X is 43 /\ 0.
X = 0
yes
?- X is 0 /\ 0.
X = 0
yes/\ - performs bitwise addition. ?- X is 3 /\ 3.
X = 3
yes
?- X is 3 /\ 7.
X = 3
yes
?- X is 3 /\ 6.
X = 2
yes
?- X is 3 /\ 8.
X = 0
yes
?- X is 43 /\ 27.
X = 11
yes
?- X is 27 /\ 43.
X = 11
yes
?- X is 43 /\ 0.
X = 0
yes
?- X is 0 /\ 0.
X = 0
yes