% All men are mortal, Socrates is a man.
mortal(X) :- man(X).
man(socrates).