このディレクトリの索引

#  ピタゴラスの定理を満たす1から100までの整数のうち、3つともが偶数に
#  なるものを出力せよ。

ピタゴラスの定理を満たす1から100までの整数のうち、3つともが偶数になるものを出力せよ :-
        '1から100までの整数のうち、3つともが偶数になるもの'(N1,N2,N3),
        ピタゴラスの定理を満たす(N1,N2,N3),
        writef('%t*%t+%t*%t=%t*%t\n',[N1,N1,N2,N2,N3,N3]),
        fail.
ピタゴラスの定理を満たす1から100までの整数のうち、3つともが偶数になるものを出力せよ.

'1から100までの整数のうち、3つともが偶数になるもの'(N1,N2,N3) :-
        for(0,M3,50),N3 is M3 * 2,
        for(0,M1,50),N1 is M1 * 2,N3 >= N1,
        for(0,M2,50),N2 is M2 * 2,N3 >= N2,N2 >= N1.

ピタゴラスの定理を満たす(N1,N2,N3) :-
        M3 is N3 * N3,
        M3 is N1 * N1 + N2 * N2,!.