Вопрос по задаче о родственных отношениях.

@Goal · Регистрация: 31.10.2011

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

Всем доброго времени суток.
У меня к вам пару вопросов
1. 1й вопрос

Prolog
1
2
3
4
5
6
7
8
9
10
domains
s = symbol
predicates
married(s,s)
tesha(s,s)
mother(s,s)
clauses
married(sasha,natasha)
tesha(X,Y):-married(Y,Z),mother(X,Z).
tesha(ljuda,sasha)

почему диалог с прологом(Run) -> mother(Who,natasha) No solution

@Грымзик · 14.09.2012, 20:50

А что по-Вашему должно было быть?

У вас же нет ни одного факта mother

@Goal · 14.09.2012, 21:59 **[ТС]**

Prolog
1
tesha(X,Y):-married(Y,Z),mother(X,Z).

То есть компилятор исходя из етой строчки не понял что жена сашы - доч его тещи?

@Грымзик · 15.09.2012, 12:47

Нет, не понял. Это аналог
"на улице сыро" ЕСЛИ "идет дождь"
и из этого ждать вывода, что
"идет дождь" ПОСКОЛЬКУ "на улице сыро"
Вообщем обязательно надо определять что такое mother(...). Если желаете, что бы программа делала желаемыйВами вывод, то надо такое правило
mother(X,Y):-married(Z,Y),tesha(X,Z).
Но только если tesha будет через факты определена. А то будет мать вызывать тещу, а теща мать.

Новые блоги и статьи Все статьи Все блоги /
Хочу заставить корпорации вкладываться в здоровье сотрудников: делаю мат модель здравосохранения anaschu 22.03.2026 e7EYtONaj8Y Z4Tv2zpXVVo https:/ / github. com/ shumilovas/ med2. git	1С: Программный отбор элементов справочника по группе Maks 22.03.2026 Установка программного отбора элементов справочника "Номенклатура" из модуля формы документа. В качестве фильтра для отбора справочника служит группа номенклатуры. Отбор по наименованию группы. . .	Как я обхитрил таблицу Word Alexander-7 21.03.2026 Когда мигает курсор у внешнего края таблицы, и нам надо перейти на новую строку, а при нажатии Enter создается новый ряд таблицы с ячейками, то мы вместо нервных нажатий Энтеров мы пишем любые буквы. . .	Krabik - рыболовный бот для WoW 3.3.5a AmbA 21.03.2026 без регистрации и смс. Это не торговля, приложение не содержит рекламы. Выполняет свою непосредственную задачу - автоматизацию рыбалки в WoW - и ничего более. Однако если админы будут против -. . .
1С: Программный отбор элементов справочника по значению перечисления Maks 21.03.2026 Установка программного отбора элементов справочника "Сотрудники" из модуля формы документа. В качестве фильтра для отбора служит значение перечислений. / / Событие "НачалоВыбора" реквизита на форме. . .	Переходник 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

@Грымзик 2507 / 1483 / 37 Регистрация: 14.09.2009 Сообщений: 2,740
	14.09.2012, 20:50
	А что по-Вашему должно было быть? У вас же нет ни одного факта mother 0

@Грымзик 2507 / 1483 / 37 Регистрация: 14.09.2009 Сообщений: 2,740
	15.09.2012, 12:47
	Нет, не понял. Это аналог "на улице сыро" ЕСЛИ "идет дождь" и из этого ждать вывода, что "идет дождь" ПОСКОЛЬКУ "на улице сыро" Вообщем обязательно надо определять что такое mother(...). Если желаете, что бы программа делала желаемыйВами вывод, то надо такое правило mother(X,Y):-married(Z,Y),tesha(X,Z). Но только если tesha будет через факты определена. А то будет мать вызывать тещу, а теща мать. 0