Построение двоичного каталога из подобного и списка пар - Prolog

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

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

Помогите пожалуйста

Решение задачи: «Построение двоичного каталога из подобного и списка пар»

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

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, empty, T).
placeTree(T, c(I, V, L, R), TN) :-
    placeItem(T, I, V, T1),
    placeTree(T1, L, T2),
    placeTree(T2, R, TN).
 
placeList(T, [], T).
placeList(T, [[I, V] | Tail], TN) :-
    placeItem(T, I, V, T1),
    placeList(T1, Tail, TN).

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

Код решает задачу построения двоичного каталога из подобного и списка пар. Список пар представляется как список вложенных списков, где каждый вложенный список содержит пару элементов: корень (название) и значение. Например, пара c(I, V, L, R) означает, что у корня I есть потомки L и R, которые имеют значения V. В коде определены два базовых случая:

Если корень пустой (empty), то он просто добавляется в каталог как есть.
Если корень не пустой (c(I, V, L, R)), то его значение V помещается в каталог, а затем рекурсивно вызывается функция для каждого из его потомков L и R. Также определены два дополнительных случая для обработки списков:
Если список пустой ([]), то он просто добавляется в каталог как есть.
Если список не пустой ([[I, V] | Tail]), то первый элемент пары (I, V) помещается в каталог, а затем рекурсивно вызывается функция для оставшейся части списка (Tail). Таким образом, функция placeTree отвечает за построение двоичного каталога, а функция placeList обрабатывает списки вложенных пар.