A CLP(R) example

p(X,Y,Z) :- Z = X + Y.

p(3,4,Z)?

Z=7

p(X,4,7)?

X=3

p(X,Y,7).

X = -Y + 7 // instead of returning //multiple answers

Previous slide

Next slide

Back to first slide

View graphic version