• ベストアンサー

Prologについて教えてください

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)). を使うところまではわかっているのですが先に進みません。

質問者が選んだベストアンサー

  • ベストアンサー
  • Tacosan
  • ベストアンサー率23% (3656/15482)
回答No.1

「Prolog として」ではなく, 純粋に自分の頭の中でどう判定するかはちゃんと理解できていますか? 「A,B,Cを使って直角三角形が成り立ち真となる関係right triangleを定義する」は日本語としておかしいねぇ. あと, それぞれの述語が何を表すのか説明しようとは思わない?

関連するQ&A