Анонимные переменные

@Gajdamaka · Регистрация: 17.02.2012

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

Вопрос состоит в том как не выводить переменную если она равна анонимной переменной(X=_).
Пример:

Prolog
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
PREDICATES
route(symbol, string, string, symbol)
can_travel(string, symbol, string, symbol, string)
CLAUSES
route (amtrac, "New York", "Boston", train).
route (ndg_transit, "New York", "Priston", train).
route (amtrac, "Boston", "Portlend", train).
route (grayhound, "Boston", "Portlend", bus).
route (amtrac, "New York", "Washington", train).
route (peoples, "New York", "Washington", airplane).
route (peoples, "Birlington", "New York", airplane).
can_travel(A, Transp1, B, Transp2, C):-
    route(_, A, C, Transp1);
    route(_, A, B, Transp1),
    route(_, B, C, Transp2),
    A<>B,
    C<>B.
 
GOAL
can_travel(A,T1,C,T2,E).

@Грымзик · 17.02.2012, 16:57

Насколько я знаю, никак.

@Gajdamaka · 18.02.2012, 19:40 **[ТС]**

А как-то изменять содержимое этой переменной?

@Грымзик · 19.02.2012, 00:24

Ну это у Вас из-за данного правила

Prolog
1
2
3
can_travel(A, Transp1, B, Transp2, C):-
        route(_, A, C, Transp1);
...

Так что если хотите изменить содержимое, то тут и меняйте

Prolog
1
2
3
can_travel(A, Transp1, B, Transp2, C):-
        route(_, A, C, Transp1),B="B",Transp2="Transp2";
...

В goal этого делать не стоит, т.к С и Т2 иногда же принимают значения, и тогда изменение содержимого завершиться неудачей.

@Gajdamaka · 19.02.2012, 15:04 **[ТС]**

Спасибо.

Новые блоги и статьи Все статьи Все блоги /
Переходник USB-CAN-GPIO Eddy_Em 20.03.2026 Достаточно давно на работе возникла необходимость в переходнике CAN-USB с гальваноразвязкой, оный и был разработан. Однако, все меня терзала совесть, что аж 48-ногий МК используется так тупо: просто. . .	Оттенки серого Argus19 18.03.2026 Оттенки серого Нашёл в интернете 3 прекрасных модуля: Модуль класса открытия диалога открытия/ сохранения файла на Win32 API; Модуль класса быстрого перекодирования цветного изображения в оттенки. . .	SDL3 для Desktop (MinGW): Рисуем цветные прямоугольники с помощью рисовальщика SDL3 на Си и C++ 8Observer8 17.03.2026 Содержание блога Финальные проекты на Си и на C++: finish-rectangles-sdl3-c. zip finish-rectangles-sdl3-cpp. zip	Символические и жёсткие ссылки в Linux. algri14 15.03.2026 Существует два типа ссылок — символические и жёсткие. Ссылка в Linux — это запись в каталоге, которая может указывать либо на inode «файла-ИСТОЧНИКА», тогда это будет «жёсткая ссылка» (hard link),. . .
[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 и. . .

@Грымзик 2507 / 1483 / 37 Регистрация: 14.09.2009 Сообщений: 2,740
	17.02.2012, 16:57
	Насколько я знаю, никак. 0

@Gajdamaka 0 / 0 / 0 Регистрация: 17.02.2012 Сообщений: 3
	18.02.2012, 19:40 [ТС]
	А как-то изменять содержимое этой переменной? 0

@Gajdamaka 0 / 0 / 0 Регистрация: 17.02.2012 Сообщений: 3
	19.02.2012, 15:04 [ТС]
	Спасибо. 0