3 ms·human(alain). mortal(X) :- human(X).by lispm 9y agohuman(alain). mortal(X) :- human(X).agumonkey 9y agocut!tannhaeuser 9y agoimmortal(prolog).