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

@Tsegorah · Регистрация: 02.03.2014

Студворк — интернет-сервис помощи студентам

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

Prolog
1
2
3
4
5
6
...
    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).

А так есть:

Prolog
1
2
3
4
5
6
7
8
9
10
...
    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).

@arlat · 18.09.2015, 09:45

конечно ругается, в вызове last(L2,H) - L2 переменная

@Tsegorah · 18.09.2015, 10:21 **[ТС]**

А почему L2 не может быть переменной? Я думал, пролог создаст такой список L2, чтобы все условия, где он есть, выполнялись.

@arlat · 18.09.2015, 17:03

у меня и создает... первый раз... потом вылетает и я не удивлён

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

что программа должна делать, опишите словами, а то реализация пахнет паскалем или бейсиком, вобщем намешано макарон

@Tsegorah · 18.09.2015, 18:13 **[ТС]**

Должна делать список в обратном порядке.
Я видел тут в другой теме, как это точно работает, просто хочу понять, может ли работать мой способ, и что я сделал не так.

Новые блоги и статьи Все статьи Все блоги /
SDL3 для Desktop (MinGW): Создаём пустое окно с нуля для 2D-графики на SDL3, Си и C++ 8Observer8 10.03.2026 Содержание блога Финальные проекты на Си и на C++: hello-sdl3-c. zip hello-sdl3-cpp. zip Результат:	Установка CMake и MinGW 13.1 для сборки С и C++ приложений из консоли и из Qt Creator в EXE 8Observer8 10.03.2026 Содержание блога MinGW - это коллекция инструментов для сборки приложений в EXE. CMake - это система сборки приложений. Здесь описаны базовые шаги для старта программирования с помощью CMake и. . .	Как дизайн сайта влияет на конверсию: 7 решений, которые реально повышают заявки Neotwalker 08.03.2026 Многие до сих пор воспринимают дизайн сайта как “красивую оболочку”. На практике всё иначе: дизайн напрямую влияет на то, оставит человек заявку или уйдёт через несколько секунд. Даже если у вас. . .	Модульная разработка через nuget packages DevAlt 07.03.2026 Сложившийся в . Net-среде способ разработки чаще всего предполагает монорепозиторий в котором находятся все исходники. При создании нового решения, мы просто добавляем нужные проекты и имеем. . .
Модульный подход на примере F# DevAlt 06.03.2026 В блоге дяди Боба наткнулся на такое определение: В этой книге («Подход, основанный на вариантах использования») Ивар утверждает, что архитектура программного обеспечения — это структуры,. . .	Управление камерой с помощью скрипта OrbitControls.js на Three.js: Вращение, зум и панорамирование 8Observer8 05.03.2026 Содержание блога Финальная демка в браузере работает на Desktop и мобильных браузерах. Итоговый код: orbit-controls-threejs-js. zip. Сканируйте QR-код на мобильном. Вращайте камеру одним пальцем,. . .	SDL3 для Web (WebAssembly): Синхронизация спрайтов SDL3 и тел Box2D 8Observer8 04.03.2026 Содержание блога Финальная демка в браузере. Итоговый код: finish-sync-physics-sprites-sdl3-c. zip На первой гифке отладочные линии отключены, а на второй включены:. . .	SDL3 для Web (WebAssembly): Идентификация объектов на Box2D v3 - использование userData и событий коллизий 8Observer8 02.03.2026 Содержание блога Финальная демка в браузере. Итоговый код: finish-collision-events-sdl3-c. zip Сканируйте QR-код на мобильном и вы увидите, что появится джойстик для управления главным героем. . . .

@arlat 798 / 601 / 158 Регистрация: 07.10.2013 Сообщений: 1,330
	18.09.2015, 09:45
	конечно ругается, в вызове last(L2,H) - L2 переменная 0

@Tsegorah 1 / 1 / 0 Регистрация: 02.03.2014 Сообщений: 133
	18.09.2015, 10:21 [ТС]
	А почему L2 не может быть переменной? Я думал, пролог создаст такой список L2, чтобы все условия, где он есть, выполнялись. 0

@Tsegorah 1 / 1 / 0 Регистрация: 02.03.2014 Сообщений: 133
	18.09.2015, 18:13 [ТС]
	Должна делать список в обратном порядке. Я видел тут в другой теме, как это точно работает, просто хочу понять, может ли работать мой способ, и что я сделал не так. 0