Prolog - 計算所有患者的症狀

Question

我試圖計算所有患者的症狀來計算疾病的確定性因素，但我只是得到每種疾病的一種症狀。
此外，結果顯示了一些重複。
的可信度/患者的症狀的人數佔總數的疾病的症狀：

start:- 
    write('Enter the name of the patient: '), read(Patient), 
    write('Enter the symptoms: '), read(Symptoms), write('\n'), 
    countSint(Diseases, Symptoms , Patient). 

countSint(Diseases, Symptoms , Patient) :- 
    findall(Sint , member(Sint, Symptoms), L1), length(L1 , Size), 
    ( Size < 2 
    -> writeln('Enter with at least 3 symptoms...\n'), start 
    ; Size > 1 
    -> write('\n Enter semicolon...:\n\n'), write('Patient: '), write(Patient), 
    diagnose(Symptoms,Diseases, L) 
). 

diagnose(Symptoms,Diseases,L) :- search(Symptoms, Diseases, L). 

% disease(Disease, Symptoms, Num). 
disease(meningitis,[fever, stiff_neck],2). 
disease(dengue,[fever, vomiting, red_spots], 3). 

% search(Symptoms, Diseases, L). 
search([H|T] , Diseases, L) :- 
    disease(Disease, Symptoms, Num), 
    Disease0 = [Disease,Diseases], 
    member(H, Symptoms), 
    search(T , Diseases0, L), 
    write('has '), write(Disease), writeln(': '), 
    setof(H, (disease(Disease, Symptoms, Num), 
      member(H, Symptoms)), L), 
    length(L, Size), 
    calc_cf(Num, Size, R). 

calc_cf(Num, Size, R):- % Calculate the certainty factor 
    R is Size/Num * 100, 
    write('The certainty factor is '), 
    write(R), 
    writeln('%'). 

誰能幫助我，好嗎？

Answer 1

這似乎沒用：

findall(Sint , member(Sint, Symptoms), L1) 

簡單地改寫症狀爲L1。爲什麼？

在該片斷

( Size < 2 
    -> writeln('Enter with at least 3 symptoms...\n'), start 
    ; Size > 1 
    -> write('\n Enter semicolon...:\n\n'), write('Patient: '), write(Patient), 
    diagnose(Symptoms,Diseases, L) 
) 

應該有另一種選擇。

這個事實disease(Disease, Symptoms, Num).應該沒用，但它會引入無約束的變量，這會使得進一步處理更加困難。

你可以考慮去看看圖書館（aggregate），在那裏你會發現以及製作謂詞計算解決方案，像

countSint(Diseases, Symptoms, Patient) :- 
    aggregate(count, diagnose(Symptoms, Diseases, _), Count), 
    format('diagnosed:~d for:~w~n', [Count, Patient]). 

編輯

這是更好地從演示分開的邏輯，並在這裏得到一些很好的反饋，所以我認爲你應該從代碼中刪除寫/讀，然後顯示一些你關心的例子。現在我展示必不可少公式你需要，我可以從您的評論猜測：

disease(meningitis, [fever, stiff_neck]). 
disease(dengue, [fever, vomiting, red_spots]). 

% find diseases from symptoms, sort by certainty factor 
diagnose(Symptoms, Diseases) :- 
    setof(CF-Disease, common_symptoms(Symptoms, Disease, CF), Diseases). 

common_symptoms(Symptoms_Patient, Disease, CF) :- 
    disease(Disease, Symptoms_Disease), 
    intersection(Symptoms_Patient, Symptoms_Disease, Common_Symptoms), 
    length(Common_Symptoms, NCS), 
    length(Symptoms_Disease, NSD), 
    CF is NCS/NSD * 100. 

測試：

?- diagnose([fever, stiff_neck],L). 
L = [33.33333333333333-dengue, 100-meningitis].