Запрос SWI prolog

@arhiordinator · Регистрация: 17.12.2014

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

Добрый вечер! подскажите пожалуйста,
есть такая задачка, кто где живет

Prolog
1
2
3
4
5
6
7
8
9
10
живет('Зебра', X):- X=земля.
живет('Собака', X):- X=земля.
живет('Карп', X):- X=вода.
живет('Кит', X):- X=вода.
живет('Кошка', X):- живет('Собака',X).
живет('Крокодил', X):- X=земля ; X=вода.
живет('Лягушка', X):- X=земля ; X=вода.
живет('Утка', X):- X=земля ; X=вода ; X=воздух.
живет('Орел', X):- X=земля ; X=воздух.
живет('Буревестник', X):- X=вода ; X=воздух.

Пишу вот так.
возникла проблема с запросом, как спросить:

Кто живет ровно в одной среде обитания?

@Black Fregat · 21.01.2015, 00:00

Навскидку в голову приходит только findall:

Prolog
1
2
3
однаСреда(X) :-
    findall(Y, живет(X, Y), L),     % соберем в список L все такие Y, что живет(X, Y)  
    L = [_].                        % проверим, что в этом списке только один элемент (любой)

Новые блоги и статьи Все статьи Все блоги /
Настройки VS Code Loafer 13.04.2026 { "cmake. configureOnOpen": false, "diffEditor. ignoreTrimWhitespace": true, "editor. guides. bracketPairs": "active", "extensions. ignoreRecommendations": true, . . .	Оптимизация кода на разграничение прав доступа к элементам формы Maks 13.04.2026 Алгоритм из решения ниже реализован на нетиповом документе, разработанного в конфигурации КА2. Задачи, как таковой, поставлено не было, проделанное ниже исключительно моя инициатива. Было так:. . .	Контроль заполнения и очистка дат в зависимости от значения перечислений Maks 12.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "ПланированиеПерсонала", разработанного в конфигурации КА2. Задача: реализовать контроль корректности заполнения дат назначения. . .	Архитектура слоя интернета для сервера-слоя. Hrethgir 11.04.2026 В продолжение https:/ / www. cyberforum. ru/ blogs/ 223907/ 10860. html Знаешь что я подумал? Раз мы все источники пишем в голове ветки, то ничего не мешает добавить в голову такой источник, который сам. . .
Подстановка значения реквизита справочника в табличную часть документа Maks 10.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "ПланированиеПерсонала", разработанного в конфигурации КА2. Задача: при выборе сотрудника (справочник Сотрудники) в ТЧ документа. . .	Очистка реквизитов документа при копировании Maks 09.04.2026 Алгоритм из решения ниже применим как для типовых, так и для нетиповых документов на самых различных конфигурациях. Задача: при копировании документа очищать определенные реквизиты и табличную. . .	модель ЗдравоСохранения 8. Подготовка к разному выполнению заданий anaschu 08.04.2026 https:/ / github. com/ shumilovas/ med2. git main ветка * содержимое блока дэлэй из старой модели теперь внутри зайца новой модели 8ATzM_2aurI	Блокировка документа от изменений, если он открыт у другого пользователя Maks 08.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа, разработанного в конфигурации КА2. Задача: запретить редактирование документа, если он открыт у другого пользователя. / / . . .