Двоичные каталоги - Prolog

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

Помогите пожалуйста с задачей, нахожусь в абсолютном тупике) не знаю, что и делать) Задание: Дан двоичный каталог Т1. Написать программу, которая строит двоичный каталог T2, содержащий пару <-индекс, значение> для каждой пары <индекс, значение> из T1. Запрос: r(T1, T2).

Решение задачи: «Двоичные каталоги»

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

placeItem(empty, I, V, c(I, V, empty, empty)).
placeItem(c(I, _, L, R), I, V, c(I, V, L, R)).
placeItem(c(I, V, L, R), IN, VN, c(I, V, LN, R)) :-IN < I, placeItem(L, IN, VN, LN).
placeItem(c(I, V, L, R), IN, VN, c(I, V, L, RN)) :-IN > I, placeItem(R, IN, VN, RN).
 
placeTree(T, T).
placeTree(T, TN) :-placeItem(T, I, V, T1), placeTree(T1, TN).
 
T1 = c(7, 3.7, c(3, 5.67, empty, empty), c(9, 4.66, empty, empty)),
placeTree(T1, T2).

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

В коде представлена реализация двоичного каталога в виде древовидной структуры.

Функция placeItem отвечает за добавление элемента в дерево. Если дерево пустое, то создается узел с заданным значением. Если дерево не пустое, то рекурсивно вызывается функция placeItem для левого или правого поддерева в зависимости от значения индекса.
Функция placeTree отвечает за обход дерева и добавление элементов. Если дерево пустое, то ничего не делает. Если дерево не пустое, то рекурсивно вызывается функция placeTree для каждого поддерева.
В примере кода создается дерево с 4 узлами: 7, 3.7, (3, 5.67, null, null), (9, 4.66, null, null). Затем вызывается функция placeTree для обхода и заполнения этого дерева.