Можно ли было при описании "деревянного" домена использовать вместо функтора tr, употребленного нами, какой-нибудь другой функтор?
Можно ли было при описании "деревянного" домена использовать вместо идентификатора tree, какой-нибудь другой идентификатор?
Крона дерева 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 будет означена:
Является ли дерево tr(3,tr(1,empty,tr(2,empty,empty)),tr(5,empty,empty)) двоичным справочником?
В программе на Прологе вместо "," можно писать
В программе на Прологе вместо ":-" можно писать
