<0> xor_at(2) :- <1> val_at(0), <0> val_at(1), <1> val_at(2).
<0> xor_at(2) :- <1> val_at(0), <1> val_at(1), <0> val_at(2).
<1> xor_at(2) :- <1> val_at(0), <1> val_at(1), <1> val_at(2).
<1> xor_at(2) :- <0> val_at(0), <0> val_at(1), <1> val_at(2).
<0> xor_at(2) :- <0> val_at(0), <0> val_at(1), <0> val_at(2).
<1> xor_at(2) :- <0> val_at(0), <1> val_at(1), <0> val_at(2).
<0> xor_at(2) :- <0> val_at(0), <1> val_at(1), <1> val_at(2).
<1> xor_at(2) :- <1> val_at(0), <0> val_at(1), <0> val_at(2).
