% --- Facts ---
human(socrates).
human(plato).

% --- Rule ---
mortal(X) :- human(X).