%predicate : relieve
%relieve(DRUG, SYMPTOM).
%SYMPTON is a manifestation of an underlying disease process,
%but is distinct from the disease process itself.
%
%
relieve(aspirin, headche).
relieve(aspirin, medoreate_pain).
relieve(aspirin_codeine_combination, severe_pain).
relieve(aspirin, moderate_arthritis).
relieve(cough_cire_xm, cough).
relieve(pain_gone, severe_pain).
relieve(ko_diarrhea, diarrhea).
relieve(de_congest, coigh).
relieve(de_congest, nasal_congestion).
relieve(penicillin, pnemonia).
relieve(bis_cure, nausea).
relieve(bis_cure, diarhea).
relieve(noasprinol, headche).
relieve(noaspirinol, moderate_pain).
relieve(triple_tuas, nasal_congestion).
%predicate : aggravates
%aggravates (Drug, Condition).
%Condition is a single disease process, or collectio of disease.
%process,
%sometimes called a syndrome.
%
aggravates(aspirin, ashtma).
aggravates(asprin, paptic_ulcer).
aggravates(de_congest, high_blood_pressure).
aggravates(de_congest, heart_disease).
aggravates(de_congest,galucomma).
aggravates(bis_cure, diabetes).
aggravates(bis_cure, gout).
aggravates(bis_cure, fever).
%% add fact
%
form_of_pain(moderate_pain).
form_of_pain(severe_pain).
%% rule
%
relieve_cold(Drug) :- relieve(Drug, cough), relieve(Drug, nasal_congestion).
relieve_cold(relieve_nose) :- relieve(relieve_nose, cough).
ashma_involved(Drug, Condition) :- aggravates(aspirin, ashtma), relieve(Drug, Condition).
pain_killer(Drug) :- relieve(Drug, moderate_pain).
pain_killer(Drug) :- relieve(Drug, severe_pain).
pain_killer(Drug) :- form_of_pain(Condition), relieve(Drug, Condition).
complains_of(john, headache).
suffer_from(john, peptic_ulcer).
should_take(Person, Drug) :-complains_of(Person, Symptom),
suppresses(Drug, Symptom),
not(unsuitable_for(Person, Drug)).
suppresses(Drug, Symptom) :- relieve(Drug, Symptom).
unsuitable_for(Person, Drug) :- aggravates(Drug, Condition),
suffers_from(Person, Condition).