Является ли дерево tr(3,tr(1,empty,tr(2,empty,empty)),tr(5,empty,empty)) двоичным справочником?

Крона дерева tr(3,tr(1,empty,tr(2,empty,empty)),tr(5,empty,empty)) состоит из вершин:

Высота дерева tr(3,tr(1,empty,tr(2,empty,empty)),tr(5,empty,empty)) равна:

В результате вызова предиката tree_list(tr(3,tr(1,empty,tr(2,empty,empty)),tr(5,empty,empty)),X) переменная X будет означена:

В результате вызова предиката tree_sum(tr(3,tr(1,empty,tr(2,empty,empty)),tr(5,empty,empty)),X) переменная X будет означена:

В результате вызова предиката tree_length(tr(3,tr(1,empty,tr(2,empty,empty)),tr(5,empty,empty)),X) переменная X будет означена:

Можно ли было при описании "деревянного" домена использовать вместо идентификатора empty, употребленного нами для обозначения пустого дерева, какой-нибудь другой идентификатор?

В результате выполнения предиката partition([1,2,3],2,L1,L2) переменные L1 и L2 получат значения:

В результате выполнения предиката fib_fast(3,X,Y) переменные X и Y получат значения:

Можно ли реализовать предикат avg без использования предикатов summa и length?

Если аргументом предиката bound является свободная переменная, то он: