如何在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，它使用 has_disease/2 作为检查，对它能找到的任何疾病执行另一个 findall 操作。 setof/3 调用是最后使用以获得疾病列表上的独特结果并为了方便而订购。

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

Answer 2

您将需要一种查询所有症状的方法，例如使用 findall(S,cause_of(S,disease),SS)，其中 SS 将是此症状的列表疾病。