prolog - 如何在Prolog中应用通用量词？

Question

假设您有一个疾病诊断Prolog程序，该程序从疾病和症状之间的许多关系开始:

causes_of(symptom1, Disease) :-
    Disease = disease1;
    Disease = disease2.
causes_of(symptom2, Disease) :-
    Disease = disease2;
    Disease = disease3.
causes_of(symptom3, Disease) :-
    Disease = disease4.

has_symptom(person1, symptom1).
has_symptom(person1, symptom2).

我如何创建带有“has_disease(Person，Disease)”头的规则，如果该人患有该疾病的所有症状，该规则将返回true？使用上面的示例，以下示例输出:

has_disease(person1, Disease).
   Disease = disease2.

Answer 1

好吧，可能有一种更简单的方法来执行此操作，因为我的Prolog技能充其量只是次要的。

has_disease(Person, Disease) :- atom(Disease),
    findall(Symptom, has_symptom(Person, Symptom), PersonSymptoms),
    findall(DSymptom, causes_of(DSymptom, Disease), DiseaseSymptoms),
    subset(DiseaseSymptoms, PersonSymptoms).

has_diseases(Person, Diseases) :-
    findall(Disease, (causes_of(_, Disease), has_disease(Person, Disease)), DiseaseList),
    setof(Disease, member(Disease, DiseaseList), Diseases).

被称为如下:

?- has_diseases(person1, D).
D = [disease1, disease2, disease3].

findall/3 谓词首先用于查找一个人的所有症状，然后再次查找某个疾病的所有症状，然后快速检查该疾病的症状是否属于该人的症状。

我编写 has_disease/2谓词的方式阻止了它给出疾病列表。因此，我创建了 has_diseases/2，使用 findall作为检查对象，它针对可以找到的任何疾病执行另一个 has_disease/2。最后使用 setof/3 调用可在疾病列表上获得唯一的结果，并为方便起见对其进行排序。

注意 atom/1原语上的 has_disease/2 只是为了确保不为 Disease传递变量，因为在这种情况下它不起作用，至少对我而言不起作用。