Adder

X

Y

+ C

RZ

add(X,Y,C,R,Z):-

Vars=[X,Y,C,R,Z],

Vars in 0..1,

X+Y+C #= 2*R+Z,

labeling(Vars).

Previous slide

Next slide

Back to first slide

View graphic version