Варианты индивидуальных заданий:
-
Определить предикат отец и найти всех отцов.
-
Определить предикат мать и найти всех матерей.
-
Определить предикат дети и найти всех детей и детей конкретного лица.
-
Определить предикат внуки и найти всех внуков и внуков конкретного лица.
-
Определить предикат сын и найти всех сыновей и сыновей конкретного лица.
-
Определить предикат дочь и найти всех дочерей и дочерей конкретного лица.
-
Определить предикат дедушка и найти всех дедушек и дедушек конкретного лица.
-
Определить предикат бабушка и найти всех бабушек и бабушек конкретного лица.
-
Определить предикат тетя и найти всех теток и теток конкретного лица.
-
Определить предикат дядя и найти всех дядьев и дядьев конкретного лица.
-
Определить предикат брат и найти всех братьев и братьев конкретного лица.
-
Определить предикат сестра и найти всех сестер и сестер конкретного лица.
-
Определить предикат двоюродный брат и найти всех двоюродных братьев и двоюродных братьев конкретного лица.
-
Определить предикат двоюродная сестра и найти всех двоюродных сестер и двоюродных сестер конкретного лица.
-
Определить предикат племянник и найти всех племянников и племянников конкретного лица.
-
Определить предикат потомок и найти всех потомков и потомков конкретного лица.
-
Определить предикат предок и найти всех предок и предков конкретного лица.
-
Определить предикат потомки мужского пола и найти всех потомков мужского пола
Оформление отчета
Отчет по работе должен включать исходные тексты выполненных программ и целями, с которыми они работали, и должен содержать:
-
Цель работы.
-
Описание всех заданий с внутренними целями и полученными результатами.
Вопросы для самоконтроля
1. Сформулируйте определения понятий:
-
объекты данных;
-
атом, число, переменная, структура, терм;
-
заголовок, тело, предикат;
-
факт, правило, цель, предложение;
-
согласование целевого утверждения, вычисление целевого утверждения.
2. Синтаксис чисел, атомов, переменных, структур, предложений,
фактов, правил, запросов, комментариев.
3. Структура программы на Прологе.