Furthermore

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

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

solution(A,B,C)?

B = C – 1

A = C - 2

Previous slide

Next slide

Back to first slide

View graphic version