/*
    mortal/1
    mortal(X)

    Simple version of the predicate mortal.
    X is mortal if X is a man.

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

man(socrates).
man(plato).
mortal(X):- man(X).