mensch(hans).
pflanze(baum).
tier(X) :- mensch(X),write(X),nl,fail.
tier(X) :- pflanze(X),fail.
tier(X).