projog

4.3. /\ - performs bitwise addition.

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