このディレクトリの索引
#  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 * A =:= B * B + C * C.
'A,B,Cを使って直角三角形が成り立ち真となる関係'(A,B,C) :-
        B * B =:= A * A + C * C.
'A,B,Cを使って直角三角形が成り立ち真となる関係'(A,B,C) :-
        C * C =:= A * A + B * B.