The variable is not bound in this clause и Basic domain becomes reference domain - Prolog

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

Вот так ошибок нет:

...
    firlast(L,X,Y):- first(L,X), last(L,Y).
    first([H|T],X):- X=H.
    last([H|[]],Y):- Y=H.
    last([H|T],Y):- last(T,Y).
goal firlast([-1, 0, 0, 3, 2], X,Y).

А так есть:

...
    firlast(L,X,Y):- first(L,X), last(L,Y).
    first([H|T],X):- X=H.
    last([H|[]],Y):- Y=H.
    last([H|T],Y):- last(T,Y).
    obrez([H|[]],[]):- !.
    obrez([H1|T1],[H1|T2]):- obrez(T1,T2).
    rev([],[]):- !.
    rev([H|T],L2):- rev(T,L3), last(L2,H), obrez(L2,L3).
goal rev([-1, 0, 0, 3, 2], L).

Почему? Полный текст ошибок: W;Test_Goal, pos: 1072, 708 The variable is not bound in this clause H E;Test_Goal, pos: 1072, 721 Basic domain becomes reference domain: integer То есть, ругается на last([H|T],Y):- last(T,Y).

Решение задачи: «The variable is not bound in this clause и Basic domain becomes reference domain»

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

?- rev([-1, 0, 0, 3, 2], L).
L = [2, 3, 0, 0, -1] ;
ERROR: Out of global stack

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

Код на языке Prolog пытается выполнить обратную операцию для списка чисел. Он преобразует список [-1, 0, 0, 3, 2] в обратный список и присваивает результат переменной L. Вот список шагов, которые выполняются в коде:

Создается список [-1, 0, 0, 3, 2].
Код пытается выполнить обратную операцию для списка, используя переменную L.
Переменная L получает значение [2, 3, 0, 0, -1].
Код завершается и выводится результат. Код работает правильно, но есть проблема с использованием памяти. Он использует глобальную кучу и приводит к ошибке Out of global stack. Это происходит, потому что обратная операция для списка требует больше памяти, чем доступно. Для решения этой проблемы можно попробовать использовать другие методы или оптимизировать код, чтобы он использовал меньше памяти.