prolog - 構造を持つファクトのプロローグ ルール

Question

Prologには次の事実があります。症状 (A,B,C): 領域 B の症状 A は、ウイルス C によって引き起こされる可能性があります (略語、フルネーム)

symptom(delirium,mind,virus(rbs, rabies)).
symptom(delirium,mind,virus(tbe, tick-borne-encephalitis)).
symptom(discomfort,mind,virus(rbs, rabies)).
...

たとえば、どのような種類のウイルスが特定の症状を引き起こす可能性があるかをお聞きしたいと思います。このために、ルール「causedBy(X,Y)」を宣言したいと思います。クエリで症状を送信すると、可能性のあるウイルスのリストが得られます。

問題は、症状を送信して、可能性のあるウイルスの略語のみのリストを取得するにはどうすればよいですか?

Answer 1

あなたはこのようにそれを行うことができます：

causedBy(X,Y) :- symptom(X, _, virus(Y, _)).

（ideoneのSWI Prologのデモ）。

統合のプロセスは再帰的であり、事実と統合するために必要なだけ深く名前をネストできます。この場合、は、ペアの最初の要素のみを「抽出」する呼び出しvirus(Y, _)内にネストされます。symptom/3virus