Исключить из листа подряд одинаковые, подряд идущие элементы. Почему мое решение неверно?

implement main
    open core, console
 
domains 
    rList= real*.
 
class predicates
    foo:(rList, rList) procedure (i, o).
 
constants
    className = "main".
    classVersion = "".
 
clauses
    classInfo(className, classVersion).
 
    foo([], []) :- !. %пустой список - решение
    foo([X], [X]) :- !. %список из одного элемента и есть решение
    foo([X1, X2 | T1], [X1 | T2]) :- not(X1 = X2), foo([X2 | T1], T2). %если встретили элемент который не равен предыдущему (с конца) то добавляем его в ответ
    foo([X, X | T], L) :- foo([X | T], L). %если встертили эелемент который равен предыдущему - игнорируем
    %В предыдущей строке пишет ошибку "The predicate foo which declared as procedure, is actually determ"
 
clauses
    run():-
        console::init(),
        %stdio::write("A: "),
        %List=read(),
        List=[1,1,1,1,2,2,2,3,4,5,1,1,2,1,1,1],
        foo(List, A),
        write(A),
        programControl::sleep(3000),
        succeed().
end implement main
 
goal
    mainExe::run(main::run).

foo([X, X | T], L) :-!,foo([X | T], L). %если встертили эелемент который равен предыдущему - игнорируем
foo([X1, X2 | T1], [X1 | T2]) :- !,foo([X2 | T1], T2). %если встретили элемент который не равен предыдущему (с конца) то добавляем его в ответ
foo(L,L). %сюда попадаем только если длина списка <=1, но для компилятора это еще надо,что бы считать foo procedure