Необходимо описать предметную область «родственные отношения». Для этого задайте в качестве фактов следующие отношения между объектами предметной области:
- parents(X, Y) – X является родителем Y;
- man(X) – X мужчина;
- woman(X) –X женщина.
Например,
parents(tom, ellen).
man(tom).
woman(ellen).
Определите в качестве правил (используя отношения parents, man, woman) следующие отношения:
- sister(X, Y) – X является сестройY;
- brother(X, Y) – X является братом Y;
- father(X, Y) – X является отцом Y;
- mother(X, Y) – X является матерью Y;
- grandfather(X, Y) – X является дедушкой Y;
- grandmother(X, Y) – X является бабушкой Y.
Требования к оформлению отчета.
Отчет оформляется каждым студентом самостоятельно и содержит номер, название, цели и задачи лабораторной работы, задание и результаты реализации (листинг программы, схемы, контрольный пример, результаты), ответы на контрольные вопросы.
Контрольные вопросы.
1. Назовите основные программные секции программы на VisualProlog.
2. Назовите основные принципы поиска с возвратом.
3. Сформулируйте алгоритм унификации.
4. Дайте понятие переменной в языке Пролог.
5. Определите отношение aunt(X, Y) – «X является тетей Y» через отношения parents и sister.
Лабораторная работа №2
