The example in CLP(R): replace is with =

solution(X,Y,Z) :- test(X,Y,Z),p(X),p(Y),p(Z).

p(11).

p(3).

p(7).

p(16).

p(15).

p(14).

test(X,Y,Z) :- Y = X+1,Z = Y+1.

solution(X,Y,Z)?

X=14;Y=15;Z=16;

NO

• How many steps to find the solution?

Previous slide

Next slide

Back to first slide

View graphic version