% From The Art of EyeProlog, Chapter 26.
mortal(X) :- human(X).