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（人，疾病）'的规则，如果该人患有该疾病的所有症状，该规则将返回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调用来获取疾病列表中的唯一结果，并为方便起见。

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

Answer 2

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

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

2 个答案: