// Условие задачи: Сократ — человек. Все люди смертны.
// Найти: Смертен ли Сократ?
// Запишем условие в терминах языка пролога
// Сократ - человек
human(sokrat).
// Платон - тоже человек
human(platon).

// Чтобы некто был смертным, он должен быть человеком
mortal(Someone) :- human(Someone).
//теперь спросим пролог систему, смертен ли Сократ:
?- mortal(sokrat).

Yes // да