I уровень
1 – 9 варианты. Известно, что студенты в составе группы лиц отправляются в туристическое путешествие. Данные о студентах представлен в виде таблицы:
| Имя | Факультет | Курс | № общежития |
| Петр | физико-математический | IV | |
| Фома | филологический | III | |
| Тамара | филологический | II | |
| Ольга | физико-математический | IV | |
| Тарас | физико-математический | I | |
| Леся | филологический | II |
Записать программу, которая содержит факты "учится/3" и "проживает/2" на основе приведенных данных. Программу дополнить процедурой "знает/2", по которой определенный студент знает другого, если они учатся на одном курсе на одном и том же факультете или проживают в одном общежитии. Учесть и то, что определенное лицо не может знать само себя.
Организовать запросы к созданному множеству фраз программы:
· учится ли конкретное лицо на определенном факультете, курсе?
· кто учится на определенном факультете, курсе?
· проживает ли конкретное лицо в определенном общежитии?
· студенты каких факультетов проживают в определенном общежитии?
· знает ли одно конкретное лицо другое конкретное лицо?
· какие лица знают друг друга?
· можно ли сказать об определенном лице, кто его знает?
· какие лица знают друг друга и учатся на разных факультетах?
· какие лица учатся на филфаке или проживают в общежития №3?
ІІ уровень
1, 2 варианты. Дополнить базу данных программы тем фактом, что в туристическую группу включен преподаватель Олег, который проводит занятия на IV-м курсе физмата и на II-м курсе филфака.
Модифицировать базу данных так, чтобы можно было получить ответ на вопрос о том, есть ли лицо студентом или преподавателем.
Модифицировать правило "знает/2" так, чтобы учитывалось, что студент и преподаватель знают друг друга, если преподаватель проводит занятия на том факультете и курсе, где учится студент.
Выполнить запросы к модифицированной программе:
· конкретное лицо является преподавателем или студентом?
· знает ли преподаватель конкретного студента?
· кого из студентов знает преподаватель?
· кого из тех, кто проживает в общежития №3, знает Олег?
3, 4 варианты. Дополнить базу данных программы тем фактом, что в туристическую группу включен преподаватель Виктор, который проводит занятия на I-м курсе физмат факультета и проживает в общежитии №3.
Модифицировать базу данных так, чтобы можно было получить ответ на вопрос о том, является ли лицо студентом или преподавателем.
Модифицировать правило "знает/2" так, чтобы учитывалось, что студент и преподаватель знают друг друга, если преподаватель проводит занятия на том факультете и курсе, где учится студент, или они проживают в одном и том же общежитии.
Выполнить запросы к модифицированной программе:
· конкретное лицо является преподавателем или студентом?
· кого знает конкретное лицо?
· кто проживает в конкретном общежитии?
· кого из тех, кто учится на ІV-м курсе, знает Виктор?
5, 6 варианты. Дополнить базу данных программы тем фактом, что в туристическую группу включен преподаватель Виктор, который проводит занятия на I-м курсе физико-математического факультета и проживает в общежитии №5.
Записать новое правило "турист/4", за которым можно было бы получить такие данные о туристе: имя, профессия (преподаватель или студент), факультет (на котором учится или преподает лицо), номер общежития.
Выполнить запросы к модифицированной программе:
· какую профессию имеет конкретный турист?
· кто из туристов проживает в конкретном общежитии?
· какой турист имеет отношение к физико-математическому факультету: его имя и профессия?
· кто из туристов филологического факультета знает преподавателя Виктора?
7 –-9 варианты. Дополнить базу данных программы тем фактом, что в туристическую группу включен преподаватель Олег, который проводит занятия на І-м курсе физико-математического факультета и на ІІІ-м курсе филологического факультета.
Записать новое правило "профиль/3", за которым можно было бы получить информацию о профиле специальности, на которой учится студент (проводит занятие преподаватель) - гуманитарный или естественный и, кроме того, определенные данные: имя и общежитие, где проживает лицо.
Выполнить запросы к модифицированной программе:
· какой профиль у конкретного лица?
· студенты какого профиля проживают в определенном общежитии?
· кто из гуманитариев знает преподавателя Олега?
· есть ли среди тех, кто учится на определенном курсе, лица конкретного профиля?
