num(1).  num(2).  num(3).  num(4).  num(5).

squares(XX,YY,Z) :-
        XX := X*X, YY := Y*Y, Z := XX+YY, Y1 := Y+1,
        Y1*Y1 == Z, num(X), num(Y), X < Y.