Нужно ли в теле правила, определяющего шаг рекурсии, указывать в качестве подцели определяемый предикат?

Правильный ответ:

• # Наиболее популярный в США язык искусственного интеллекта это
• # Можно ли было при описании "деревянного" домена использовать вместо идентификатора tree, какой-нибудь другой идентификатор?
• # Крона дерева tr(3,tr(1,empty,tr(2,empty,empty)),tr(5,empty,empty)) состоит из вершин:
• # Что, скорее всего, произойдет, если удалить предложение, реализующее базис рекурсии?
• # Можно ли модифицировать алгоритм сортировки выбором так, чтобы он был основан на выборе максимального элемента списка и приписывании его в конец?