Задача определение отношений

@AlexBombey · Регистрация: 24.10.2015

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

Определите отношение aunt(X, Y) – «X является тетей Y» через отношения parents и sister.

@Black Fregat · 24.10.2015, 15:03

Prolog
1
aunt(X, Y) :– parent(Z, Y), sister(X, Z).

Ну или наоборот, не принципиально:

Prolog
1
aunt(X, Y) :– sister(X, Z), parent(Z, Y).

@AlexBombey · 25.10.2015, 16:10 **[ТС]**

Black Fregat, не много объяснить ,что есть что , прям по каждому символу.

@Black Fregat · 25.10.2015, 17:09

А чего тут объяснять?
X является тетей Y если для некоторого Z Z является родителем Y и X является сестрой Z.
Вот это дословно и записано.

Новые блоги и статьи Все статьи Все блоги /
Сумматор с применением элементов трёх состояний. Hrethgir 26.03.2026 Тут. https:/ / fips. ru/ EGD/ ab3c85c8-836d-4866-871b-c2f0c5d77fbc Первый документ красиво выглядит, но без схемы. Это конечно не даёт никаких плюсов автору, но тем не менее. . . всё может быть. . .	Автозаполнение реквизитов при создании документа Maks 26.03.2026 Код из решения ниже размещается в модуле объекта документа, в процедуре "ПриСозданииНаСервере". Алгоритм проверки заполнения реализован для исключения перезаписи значения реквизита, которое может. . .	Команды "Заполнить" и "Очистить" на форме документа Maks 26.03.2026 1. Команда формы "ЗаполнитьЗапчасти". На примере нетипового документа разработанного в конфигурации КА2. В качестве источника данных указан регистр накопления, в который записываются данные о. . .	Кому нужен AOT? DevAlt 26.03.2026 Решил сделать простой ланчер Написал заготовку: dotnet new console --aot -o UrlHandler var items = args. Split(":"); var tag = items; var id = items; var executable = args;. . .
Отправка уведомления на почту при изменении наименования справочника Maks 24.03.2026 Программная отправка письма электронной почты на примере изменения наименования типового справочника "Склады" в конфигурации БП3. Перед реализацией необходимо выполнить настройку системной учетной. . .	модель ЗдравоСохранения 5. Меньше увольнений- больше дохода! anaschu 24.03.2026 Теперь система здравосохранения уменьшает количество увольнений. 9TO2GP2bpX4 a42b81fb172ffc12ca589c7898261ccb/ https:/ / rutube. ru/ video/ a42b81fb172ffc12ca589c7898261ccb/ Слева синяя линия -. . .	Midnight Chicago Blues kumehtar 24.03.2026 Такой Midnight Chicago Blues, знаешь?. . Когда вечерние улицы становятся ночными, а ты не можешь уснуть. Ты идёшь в любимый старый бар, и бармен наливает тебе виски. Ты смотришь на пролетающие. . .	SDL3 для Desktop (MinGW): Вывод текста со шрифтом TTF с помощью библиотеки SDL3_ttf на Си и C++ 8Observer8 24.03.2026 Содержание блога Финальные проекты на Си и на C++: finish-text-sdl3-c. zip finish-text-sdl3-cpp. zip

@AlexBombey 0 / 0 / 0 Регистрация: 24.10.2015 Сообщений: 15

	Задача определение отношений 24.10.2015, 12:04. Показов 1212. Ответов 3 Метки нет (Все метки) Определите отношение aunt(X, Y) – «X является тетей Y» через отношения parents и sister. 0

@AlexBombey 0 / 0 / 0 Регистрация: 24.10.2015 Сообщений: 15
	25.10.2015, 16:10 [ТС]
	Black Fregat, не много объяснить ,что есть что , прям по каждому символу. 0

@Black Fregat Фрилансер 3709 / 2083 / 567 Регистрация: 31.05.2009 Сообщений: 6,683
	25.10.2015, 17:09
	А чего тут объяснять? X является тетей Y если для некоторого Z Z является родителем Y и X является сестрой Z. Вот это дословно и записано. 0