Логическая задача про деревья - Prolog

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

Здравствуйте, нужно написать программу: Возле почты растут 6 деревьев: сосна, береза, липа, тополь, ель и клен. Какое из этих деревьев самое высокое и какое самое низкое, если известно, что береза ниже тополя, а липа выше клена, сосна ниже ели, липа ниже березы, сосна выше тополя? Есть данный код:

domains
    tree_d = sosna; bereza; lipa; topol; el; klen
predicates
    nondeterm tree(tree_d)
    tall_fact(tree_d,tree_d)
    lower_fact(tree_d,tree_d)
    lower(tree_d,tree_d)
    tall(tree_d,tree_d)
clauses  
    tree(sosna). 
    tree(bereza).
    tree(lipa).
    tree(topol).
    tree(el).
    tree(klen).
    
    tall_fact(lipa, klen).
    tall_fact(sosna, topol).
    
    lower_fact(bereza, topol).
    lower_fact(lipa, bereza).
    lower_fact(sosna, el).
    lower_fact(X, Y):-tall_fact(Y, X).
    lower(X, Y):- % X < Y
    lower_fact(X, Y), !;
    lower_fact(Z, Y), lower(X, Z), !. % such Z < Y as X < Z
    tall(X, Y):-lower(Y, X).
    goal
    tree(SamoeNizkoe),
    NOT(lower(_, SamoeNizkoe)),
    tree(SamoeVisokoe),
    NOT(tall(_, SamoeVisokoe)).

Вы не можете подсказать в чем ошибка? Не работает вывод.

Решение задачи: «Логическая задача про деревья»

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

    write("SamoeNizkoe: ", SamoeNizkoe), nl,
    write("SamoeVisokoe: ", SamoeVisokoe), nl.

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

Код выводит на экран два значения, разделенных символом новой строки:

SamoeNizkoe: - название переменной, в которую сохранено значение SamoeNizkoe - значение переменной.
SamoeVisokoe: - название переменной, в которую сохранено значение SamoeVisokoe - значение переменной.