student(X,Y) :- taught(Y,X).
taught(socrates,plato).