Бинарные деревья и тернарные функторы tree(Left, Root, Right)

@dimansf · Регистрация: 04.08.2015

Студворк — интернет-сервис помощи студентам

Бинарные деревья задаются с помощью тернарного функтора tree(Left,Root,Right), где Root - элемент, находящийся в вершине, а Left и Right - соответственно левое и правое поддерево. Пустое дерево изображается атомом nil. Следующий терм является примером более сложного дерева tree(nil, 5ц, tree(nil, 6, tree(tree(nil, 8, nil), 10, nil))).
Напишите предикат p(+T,+X,+Y,–R), который из бинарного дерева T делает бинарное дерево R, совпадающее с T, за исключением того, что вершины дерева, содержащие также в списке X, меняются на соответствующие (по порядку) вершины из списка Y.
Пример,

Prolog
1
2
3
?– p(tree(nil, 5, tree(nil, 6, tree(tree(nil, 8, nil), 10, nil))),[5,8,7],[50,80,70],R).
R= tree(nil, 50, tree(nil, 6, tree(tree(nil, 80, nil), 10, nil)))
Yes

Интерпретатор Swipl 7.6.3.
Неясно, как
- обьявить функтор,
- рекурсивно обьявить функтор,
- распарсить этот функтор.

Примеры по типу owner(“Mary”,pet(“Garfield”)), мне ничего не дают.

@Catstail · 08.12.2017, 20:18

Турбо-Пролог:

Prolog
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
domains
tree = tree(tree,integer,tree); nil
int=integer
intl=int*
 
predicates
chk_val(int,int,intl,intl)
task(tree,intl,intl,tree)
 
clauses
chk_val(N,N,[],[]).
chk_val(N,K,[N|_],[K|_]).
chk_val(N,K,[U|T1],[_|T2]) :- U <>N, chk_val(N,K,T1,T2).
 
task(nil,_,_,nil).
task(tree(L,V,R),X,Y,tree(LL,VV,RR)) :- chk_val(V,VV,X,Y), task(L,X,Y,LL), task(R,X,Y,RR).
 
goal
task(tree(tree(nil,12,nil),6,tree(nil,4,nil)),[2,4,6],[22,44,66],U), write(U),nl.

Новые блоги и статьи Все статьи Все блоги /
Знаешь почему 90% людей редко бывают счастливыми? kumehtar 14.04.2026 Потому что они ждут. Ждут выходных, ждут отпуска, ждут удачного момента. . . а удачный момент так и не приходит.	Фиксация колонок в отчете СКД Maks 14.04.2026 Фиксация колонок в СКД отчета типа Таблица. Задача: зафиксировать три левых колонки в отчете. Процедура ПриКомпоновкеРезультата(ДокументРезультат, ДанныеРасшифровки, СтандартнаяОбработка) / / . . .	Настройки VS Code Loafer 13.04.2026 { "cmake. configureOnOpen": false, "diffEditor. ignoreTrimWhitespace": true, "editor. guides. bracketPairs": "active", "extensions. ignoreRecommendations": true, . . .	Оптимизация кода на разграничение прав доступа к элементам формы Maks 13.04.2026 Алгоритм из решения ниже реализован на нетиповом документе, разработанного в конфигурации КА2. Задачи, как таковой, поставлено не было, проделанное ниже исключительно моя инициатива. Было так:. . .
Контроль заполнения и очистка дат в зависимости от значения перечислений Maks 12.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "ПланированиеПерсонала", разработанного в конфигурации КА2. Задача: реализовать контроль корректности заполнения дат назначения. . .	Архитектура слоя интернета для сервера-слоя. Hrethgir 11.04.2026 В продолжение https:/ / www. cyberforum. ru/ blogs/ 223907/ 10860. html Знаешь что я подумал? Раз мы все источники пишем в голове ветки, то ничего не мешает добавить в голову такой источник, который сам. . .	Подстановка значения реквизита справочника в табличную часть документа Maks 10.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "ПланированиеПерсонала", разработанного в конфигурации КА2. Задача: при выборе сотрудника (справочник Сотрудники) в ТЧ документа. . .	Очистка реквизитов документа при копировании Maks 09.04.2026 Алгоритм из решения ниже применим как для типовых, так и для нетиповых документов на самых различных конфигурациях. Задача: при копировании документа очищать определенные реквизиты и табличную. . .