このディレクトリの索引

#  x^2+y^2=z^2を満たす正の整数をピタゴラス数と呼び、三つ組(x,y,z)で表す。
#  ピタゴラス数のリストを生成する関数pythsを定義せよ。
#  ただし、ピタゴラス数の要素は、与えられた上限以下であるとする。
#  

ピタゴラス数ならび(_要素値上限,_ピタゴラス数ならび) :-
        findall(N,between(1,_要素値上限,N),L),
        findall([X,Y,Z],(
                    重複組み合わせ(L,3,[X,Y,Z]),
                    Z * Z =:= X * X + Y * Y),
               _ピタゴラス数ならび).