mortal(X):-man(X).
man(socrates).