Построить список L2 индексов каталога, которым соответствуют отрицательные нечетные значения (SWI-Prolog)

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

Доброго времени суток, уважаемые программисты.

Текст задания:

Дан двоичный каталог Т1. Написать программу, которая строит список L2 индексов каталога, которым соответствуют отрицательные нечетные значения. Запрос: r(T1, L2). Сама задача не вызвала у меня никаких осложнений, проблема у меня появилась в объединении самих индексов в список L2. Я попытался через append и только с анонимной переменной у меня было что-то, близкое к правде. Но, как видно из скрина, за ответ это не сойдет. Искренне прошу вашей помощи, обращаюсь к вам в первый раз, очень надеюсь на вашу подсказку!

tree(empty, L2).
tree(c(I,V,L,R), L2):-V<0, M is V mod 2, M>0,
                            write('Index: '), write(I),nl, 
                            write('Value: '), write(V), nl, 
                            tree(L,S),tree(R,S), append(S, [I], L1), append(L1, _, L2).
tree(c(I,V,L,R), L2):- tree(L, L2), tree(R, L2),!.

Решение задачи: «Построить список L2 индексов каталога, которым соответствуют отрицательные нечетные значения (SWI-Prolog)»

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

tree(empty, []).

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

Функция tree/2 рекурсивно вызывается для пустого каталога (путь и список элементов каталога) и пустого списка, который будет содержать L2 индексы.
Если каталог пуст, то функция заканчивает работу и возвращает пустой список.
Если в каталоге есть элементы, то функция рекурсивно вызывается для каждого элемента каталога, добавляя его путь к пути каталога и список элементов каталога.
Для каждого элемента каталога выполняется проверка на отрицательное нечетное значение. Если значение элемента удовлетворяет условию, то его индекс добавляется в список.
Если ни один элемент каталога не удовлетворяет условию, то функция заканчивает работу и возвращает пустой список.