cse505/project.lp at master · grvdahiya/cse505 · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
%doctor’s assessments %demographics
evidence(accf_stage_c). evidence(female).
evidence(nyha_class_3). evidence(age, 60).

%history of the patient
diagnosis(hf_with_reduced_ef).
diagnosis(diabetes).
diagnosis(dilated_cardiomyopathy).
evidence(angina).
history(standard_neurohumoral_antagonist_therapy).

%measurements from the lab
measurement(potassium, 3.0).
measurement(lvef, 0.16).
measurement(creatinine, 1.49).
measurement(non_lbbb, 110).
measurement(nt_pro_bnp, 5051).
measurement(glomerular_filtration_rate, 44).

%contraindications
contraindication(crt).
contraindication(ace_inhibitors).


#abducible contraindication(beta_blockers).
#abducible contraindication(icd).
#abducible diagnosis(atrial_fibrillation).
#abducible diagnosis(hypertension).
#abducible evidence(fluid_retention).
#abducible evidence(sleep_apnea).
#abducible history(angioedema).
#abducible history(thromboembolism).
lvef_less_than_30:- measurement(lvef, Data), Data =< 30.
mi_post_40_days:- measurement(mi, Data), Data >= 40.


recommendation(beta_blockers, class_1) :-
	not absent_indispensable_choice(beta_blockers),
	not rejection(beta_blockers), evidence(accf_stage_c),
	diagnosis(hf_with_reduced_ef).

absent_indispensable_choice(beta_blockers) :-
	not recommendation(diuretics, class_1),
	diagnosis(hf_with_reduced_ef), evidence(accf_stage_c),
	current_or_recent_history_of_fluid_retention.

recommendation(diuretics, class_1) :-
	recommendation(beta_blockers, class_1),
	diagnosis(hf_with_reduced_ef),
	not rejection(diuretics), evidence(accf_stage_c),
	current_or_recent_history_of_fluid_retention.