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

@Tusla · Регистрация: 27.10.2015

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

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

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

@Tusla · 19.10.2016, 01:44 **[ТС]**

Ребят, я справился сам

Кому вдруг надо, внизу моя работа

Prolog
1
2
3
4
5
6
7
8
9
10
tree(empty, _).
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,_),tree(R,_),
                            append(_,[I],L1),append(L1,_,L2).
tree(c(_,_,L,R), L2):- tree(L, L2), tree(R, L2),!.
 
treeS(T,L2):-tree(T,L1), append(L1, [], L2),!.

@Black Fregat · 19.10.2016, 13:37

Tusla, если честно, просто ужасно..

Пойдём с конца. Какой глубинный смысл Вы закладываете в эту строчку:

Prolog
1
treeS(T,L2):-tree(T,L1), append(L1, [], L2),!.

Что должно измениться от дописывания к списку пустого списка?

Далее вверх. Запись

Prolog
1
tree(c(_,_,L,R), L2):- tree(L, L2), tree(R, L2),!.

неправильная. Вам нужно было получить разные списки для левого и правого поддеревьев, а потом сцепить результат. Что Вы вместо этого написали - комментировать не буду..

Далее вверх. Запись

Prolog
1
2
                            tree(L,_),tree(R,_),
                            append(_,[I],L1),append(L1,_,L2).

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

Prolog
1
2
                            tree(L,LL),tree(R,LR),
                            append(LL,[I],L1),append(L1,LR,L2).

Наконец, продолжает удивлять Ваше желание всюду использовать анонимную переменную. Запись

Prolog
1
tree(empty, _).

неправильная. Вам нужно было написать результат явно:

Prolog
1
tree(empty, []).

Новые блоги и статьи Все статьи Все блоги /
Символические и жёсткие ссылки в Linux. algri14 15.03.2026 Существует два типа ссылок — символические и жёсткие. Ссылка в Linux — это дополнительная запись в каталоге, которая может указывать либо на inode «файла-ИСТОЧНИКА», тогда это будет «жёсткая. . .	[Owen Logic] Поддержание уровня воды в резервуаре количеством включённых насосов: моделирование и выбор регулятора ФедосеевПавел 14.03.2026 Поддержание уровня воды в резервуаре количеством включённых насосов: моделирование и выбор регулятора ВВЕДЕНИЕ Выполняя задание на управление насосной группой заполнения резервуара,. . .	делаю науч статью по влиянию грибов на сукцессию anaschu 13.03.2026 прикрепляю статью	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 В блоге дяди Боба наткнулся на такое определение: В этой книге («Подход, основанный на вариантах использования») Ивар утверждает, что архитектура программного обеспечения — это структуры,. . .