Some Safe Subqueries

• answer(P) :- treatments(P,$m)

• answer(P) :- exhibits(P,$s)

• answer(P) :- diagnoses(P,D) AND exhibits(P,$s) AND NOT causes(D,$s)

• answer(P) :- exhibits(P,$s) AND treatments(P,$m)

Previous slide

Next slide

Back to first slide

View graphic version