CILog always selects the leftmost conjunct to resolve, and always chooses the topmost clause that leads to a solution.1: attends(P,D) <- proctors_exam(P,C) & exam(C,D). 2: proctors_exam(P,C) <- instructor(P,C). 3: proctors_exam(P,C) <- teaching_assistant(P,C). 4: exam(cs322,oct22). 5: exam(cs322,dec24). 6: instructor(david,cs322). 7: teaching_assistant(rita,cs322). 8: teaching_assistant(leslie,cs322).
?attends(W,T).Specify which clause was chosen at each stage.