Лабораторная работа №1
Тема: Слабые методы решения задач
Цель: Научиться формализовывать и решать логические задачи в среде
Strawberry Prolog.
Задание
Реализовать логическую задачу с использованием среды Prolog. Введите данные задачи согласно вашему варианту и проверьте работу Вашей программы.
Вариант №1
Задача из книги Н.Вирта “Алгоритмы + Структуры данных = Программы”.
Я женился на вдове, которая имеет взрослую дочь. Мой отец, который весьма часто навещал нас, влюбился в мою падчерицу и женился на ней. Поэтому мой отец стал моим зятем, а моя падчерица стала моей мачехой. Спустя несколько месяцев моя жена родила сына, который стал шурином (зятем) моему отцу, а потому моим дядей. Жена моего отца, т.е. моя падчерица, тоже родила сына.
Я сам себе дедушка?