smarter(lion, lecturer).
chases(lion, lecturer).
chases(lion, nuig_student).
deadend(nuig_student).
caught(Y) :- chases(X,Y), smarter(X,Y).
caught(Y) :- chases(_,Y), deadend(Y).