?- mortal(socrates).
yes
?- student(X,socrates).
X=plato
?- student(socrates,X).
no