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