hombre(platon).
hombre(socrates).
hombre(aristoteles).

mortal(X):-hombre(X).
