Prolog tworzy fakt

mortal(socrates).
Fabrice Hategekimana