#show compute_sum/3.

compute_sum(X,Y,Z) :- &sum(X,Y;Z), number(X), number(Y), X<=Y. 
number(1..3).
