このディレクトリの索引
#  http://oshiete.goo.ne.jp/qa/7474619.html
#  A,B,Cを使って直角三角形が成り立ち真となる関係right triangleを定義するプログラムを教えてください。今のところ
#  triangle(A,B,C).
#  vertical(seg(point(X,Y),point(X,Y1)).
#  horizontal(seg(point(X,Y),point(X1,Y)).
#  を使うところまではわかっているのですが先に進みません。

'A,B,Cを使って直角三角形が成り立ち真となる関係'(A,B,C) :-
        A > B,A > C,
        A * A =:= B * B + C * C,!.
'A,B,Cを使って直角三角形が成り立ち真となる関係'(A,B,C) :-
        B > A,B > C,
        'A,B,Cを使って直角三角形が成り立ち真となる関係'(B,A,C).
'A,B,Cを使って直角三角形が成り立ち真となる関係'(A,B,C) :-
        C > A,C > B,
        'A,B,Cを使って直角三角形が成り立ち真となる関係'(C,A,B).