%% socrates.prolog human(socrates). mortal(X) :- human(X).