to_handle_fever: doctor(D) & D==‘Dr. Haus’ &

patient(A) & A==‘Alice’ & current_diagnosis(F) & F==‘fever’ &

fever(P,Q)

<-.check_bodytemperature(A);

.search_medicine(P);.prepare_medicine(P,Q);

.take_drug_to(A);.check_therapy_taken_by(A);

.signal_to_physician(D).