Вместо значений списка показывает _цифры

@rowest · Регистрация: 17.06.2013

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

Не могу разобраться, где косяк. Вместо того, чтобы показать значения списка, почему-то показывает его "хеш-код" (или что-то вроде того).

Prolog
1
2
3
4
5
isolated(_, []).
isolated(Point, [B1-B2|Graph]):- isolated(Point, Graph), ( (Point \== B1, Point \== B2); (B1 == B2, Point == B1)).
 
test([], Graph, _).
test([Point|Points], Graph, X):- isolated(Point, Graph), X1 = [Point|X], test(Points, Graph, X1);  test(Points, Graph, X).

запускаю так:

Prolog
1
test([a, b, c, d, e, f, g, h], [b-g,b-c,b-e,g-f,f-c,e-d], Result).

В ответ выдает:
Yes
Result = _32245751 (или другие наборы цыфр после _).

А должно Result = [a, h].
На самом деле в Result эти данные и хранятся (как мне кажется), я выводил их с помощью разделения списка на голову и хвост, а дальше функцией write(X), где Х - голова. Ну и рекурсивно проходил по этому списку, всё верно.

Помогите разобраться, почему при запуске Result отображается некорректно, хотя значения там правильные внутри

@Грымзик · 26.10.2013, 21:04

Потому что переменная X в test([Point|Points], Graph, X) изначально не унифицированна, потом к ней в начале дописывается вершины, и в test([], Graph, _) вообще забываем про 3й параметр.

Prolog
1
2
3
4
5
isolated(_, []).
isolated(Point, [B1-B2|Graph]):- isolated(Point, Graph), ( (Point \== B1, Point \== B2); (B1 == B2, Point == B1)).
 
test([],_, []).
test([Point|Points], Graph, X):- isolated(Point, Graph),!, test(Points, Graph, X1), X = [Point|X1];  test(Points, Graph, X).

И обязательно нужно отсечение. Без него вторая часть правила "; ..." может выполняться и с изолированной вершиной. Т.е будет много вариантов ответа, из которых всего один правильный.

@rowest · 26.10.2013, 21:17 **[ТС]**

Грымзик, огромное Вам спасибо за помощь, сам бы не справился (несколько часов потратил, но правильный вариант записи так и не смог получить). После Ваших поправок всё работает на "ура".

По поводу

Сообщение от Грымзик

test([], Graph, _) вообще забываем про 3й параметр.

Нам же вроде как здесь и не важно, есть что-то внутри третьей переменной, или нет. Главное, что первый параметр уже пустой список. Или я ошибаюсь? (Вы меня исправляйте, не стесняйтесь

)

P.S. Запустил со строчкой test([], _, _) вместо test([], _, []) и действительно получил еще какие-то кракозяблы кроме данных) Был бы крайне благодарен, если бы Вы смогли мне растолковать, почему я их получил.

@rowest · 31.10.2013, 03:01 **[ТС]**

Закрывайте тему)

Новые блоги и статьи Все статьи Все блоги /
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-код на мобильном и вы увидите, что появится джойстик для управления главным героем. . . .

@rowest 7 / 7 / 0 Регистрация: 17.06.2013 Сообщений: 34
	31.10.2013, 03:01 [ТС]
	Закрывайте тему) 0