/*
    mortal/1
    mortal(X)

    Third version of the of the predicate mortal.
    X is mortal if X is not Jesus and X is a man.

    Warren Sack <wsack@ucsc.edu>
    May 2017
	
*/

man(jesus).
man(socrates).
man(plato).
       
equal(X,X).
       
mortal(X):- not(equal(X,jesus)),man(X).