Список деревьев, удаление из полученного списка элементов (Пролог)

[AnDrOiD73]

Задание звучит так:
Имеется список, элементы которого – непустые бинарные деревья. Для каждого элемента списка найти число вершин, значения которых лежат в определенном диапазоне, из полученных результатов сформировать список (без использования стандартного предиката findall). Из полученного списка удалить 2-ой, 4-ой и т.д. элементы (т.е. удалить элементы находящиеся на четных позициях).

Собственно начал делать... язык пролога можно сказать не знаю, но кое что с помощью товарищей и преподавателя смог сделать.
А именно: из заданного дерева (а не из списка деревьев как по заданию нужно) добавлял в список L только те элементы, которые входят в заданный диапазон. Затем всё таки удалось сделать удаление, из этого списка, элементов на четных позициях.
Получилось вот что:

domains
tree=nil;t(integer,tree,tree)
i=integer
L=integer*
 
predicates
n(tree,L,integer,integer).
add(L,integer,L)
append(L,L,L)
deleteodd(L,L)
 
clauses
add([H|T],E,[H|Result]):- add(T,E,Result).
add([],E,[E]).
append([], L1, L1).
append([X|L1], L2, [X|L3]):- append(L1, L2, L3).
n(nil,[],Min,Max).
n(t(H,Left,Right),L,Min,Max):-H < Max, H > Min,!,n(Left,LL,Min,Max),n(Right,LR,Min,Max), append(LL,LR,LTemp), add(LTemp,H,L).
n(t(_,Left,Right),L,Min,Max):-n(Left,LL,Min,Max),n(Right,LR,Min,Max), append(LL,LR,L).
deleteodd([],[]):-!.
deleteodd([_],[]):-!.
deleteodd([HH|[_|L]],[HH|LL]):- deleteodd(L,LL),!.

goal
%n(t(6,t(3,nil,nil),t(7,nil,nil)),L,1,7),write(L).
n(t(5,t(3,t(7,nil,nil),nil),t(1,t(30,t(15,nil,nil),nil),t(4,nil,nil))),L,1,40), write("L=",L),nl, deleteodd(L,IL).

Ну после того как это было сделано и все работало, начала делать чтобы все это выполнялось уже для списка деревьев, но не получилось этого сделать - с этим и прошу помочь.
Получил вот такой код:

domains
tree=nil;t(integer,tree,tree)
i=integer
lint=integer*
listtree = tree* 
predicates
n(tree,lint,integer,integer).
add(lint,integer,lint)
append(lint,lint,lint)
deleteodd(lint,lint)
treelist(listtree,lint,integer,integer)
clauses
add([H|T],E,[H|Result]):- add(T,E,Result).
add([],E,[E]).
append([], L1, L1).
append([X|L1], L2, [X|L3]):- append(L1, L2, L3).
n(nil,[],Min,Max).
n(t(H,Left,Right),L,Min,Max):-H < Max, H > Min,!,n(Left,LL,Min,Max),n(Right,LR,Min,Max), append(LL,LR,LTemp), add(LTemp,H,L).
n(t(_,Left,Right),L,Min,Max):-n(Left,LL,Min,Max),n(Right,LR,Min,Max), append(LL,LR,L).
deleteodd([],[]):-!.
deleteodd([_],[]):-!.
deleteodd([HH|[_|L]],[HH|LL]):- deleteodd(L,LL),!.
treelist([],L,Min,Max) :- !.
treelist([H|T], L, Min, Max) :- n(H, [L1], Min, Max), treelist(T, L2, Min, Max), L=[L1|L2].

goal
%n(t(6,t(3,nil,nil),t(7,nil,nil)),L,1,7),write(L).
%n(t(5,t(3,t(7,nil,nil),nil),t(1,t(30,t(15,nil,nil),nil),t(4,nil,nil))),L,1,40), write("L=",L),nl, deleteodd(L,IL).
LT1 = t(1,nil,nil),   
    LT2 = t(2,t(3,nil,nil),nil),                               
    LT3 = t(4,nil,t(5,t(6,nil,nil),nil)),                               
    LT4 = t    (7,    t(8,nil, nil), 
                    t(9,
                        t(10,nil, nil),
                        t(11, 
                            t( 12, nil,
                                t(13, nil,nil)
                            ),
                            nil
                        )
                    )
                ), 
treelist([ LT1, LT2, LT3, LT4 ],L,1,10), write("L=",L),nl, deleteodd(L,IL).

Начал ругаться на домен lint=integer*
E;Test_Goal, pos: 49, 721 Basic domain becomes reference domain: integer

Ну я заменил строку
treelist([],L,Min,Max) :- !.
на
treelist([],[],Min,Max) :- !.

Программа запустилась, но выдало ошибку: PROGRAM ERROR. 1009

Помогите поправить. Несколько дней уже сижу с ней... тут казалось что уже конец... а нет... не получается.
Просьба: писать сразу код как должно быть чтобы работало... мозги закипают уже

[AnDrOiD73]

Рабочий вариант, если кому понадобится ниже. У меня было еще неверно то, что список формировался из элементов входящих в заданный диапазон, а надо было: "Для каждого элемента списка найти число вершин, значения которых лежат в определенном диапазоне". И только потом удалять элементы списка на четных позициях.

domains
tree=nil;t(integer,tree,tree)
tlist=tree*
i=integer
l=integer*
 
predicates
n(tree,integer,integer,integer).
nlist(tlist,l,integer,integer).
deleteodd(l,l).
 
clauses
n(nil,0,_,_).
n(t(H,Left,Right),L,Min,Max):-H < Max, H > Min,!,n(Left,LL,Min,Max),n(Right,LR,Min,Max),L=LL+LR+1.
n(t(_,Left,Right),L,Min,Max):-n(Left,LL,Min,Max),n(Right,LR,Min,Max),L=LL+LR.
 
nlist([],[],_,_).
nlist([Tree|Tail],[L|LTail],Min,Max):-n(Tree,L,Min,Max),nlist(Tail,LTail,Min,Max).
 
deleteodd([],[]).
deleteodd([HH],[HH]).
deleteodd([HH,_|L],[HH|LL]):- deleteodd(L,LL).
 
goal
nlist([t(50,nil,nil),t(10,nil,nil),t(5,t(3,t(7,nil,nil),nil),t(1,t(30,t(15,nil,nil),nil),t(4,nil,nil)))],L,1,40),
write("L=",L),nl,deleteodd(L,IL), write("IL=",IL),nl.