Определите, кто является поэтом, кто композитором, кто художником и у кого есть борода - Prolog

Формулировка задачи:

Андреев, Борисов и Николаев – поэт, композитор и художник. У поэта нет бороды, и он зарабатывает меньше всех. Андреев считает, что Николаеву очень идет борода. Андреев зарабатывает больше композитора. Определите, кто является поэтом, кто композитором, кто художником и у кого есть борода.

Решение задачи: «Определите, кто является поэтом, кто композитором, кто художником и у кого есть борода»

Листинг программы

predicates
    profes(symbol, symbol)
    boroda(symbol, symbol)
clauses
    boroda (has,  nikolaev).
    profes(nikolaev, kompositor).
    profes(andreev, hudojnik).
    profes(borisov, poet).
goal
?   profes(X,Y)
?   boroda (X,Y)

Объяснение кода листинга программы

У нас есть четыре предиката: — profes(symbol, symbol) — определяет профессию — boroda(symbol, symbol) — определяет наличие бороды
Есть четыре clauses: — boroda (has, nikolaev) — у Николаева есть борода — profes(nikolaev, kompositor) — Николаев является композитором — profes(andreev, hudojnik) — Андриянов является художником — profes(borisov, poet) — Борисов является поэтом
В цели заданы два вопроса: ? profes(X,Y) — кто является Y специалистом ? boroda(X,Y) — у кого есть борода