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