% Pitagorejska trojica je trojica celih števil (A, B, C),
% za katero velja A² + B² = C².

:- use_module(library(clpfd)).

pitagora(A, B, C) :-
    A #=< B,
    B #< C,
    A * A + B * B #= C * C.

pitagora_do([A,B,C], N) :-
    pitagora(A,B,C),
    [A, B, C] ins 1..N,
    label([A,B,C]).
