Цель работы: Освоение декларативной и процедурной семантики язы-ка Пролог; освоение соотношения между процедурным и декларативным смыслом; составление запросов к программе на Прологе.

Варианты заданий

1. Опишите на Прологе свою родословную, определите бабушек, дедушек, прабабушек, прадедушек и т. д.
2. Опишите увлечения студентов вашей группы.
3. Опишите успеваемость вашей группы (дайте определение «отличник», «хорошист»).
4. Создайте базу данных из высказываний, описывающих страны разных частей света, с помощью следующего словаря:

Имена объектов:

Bашингтон           США                                        Америка

Оттава                   Канада                                      Европа

Лондон                  Соединенное королевство     Африка

Рим                        Италия                                  Европа

Лагос                     Нигерия                                 Африка

Париж                    Франция                               Европа

Имена отношений:

столица_государства, страна_части_света.

Ваша база данных, например, должна содержать такие высказывания: Вашингтон – столица_государства США, США – страна_части_света Америка.

5. Создайте базу данных из простыx высказываний, описывающих книги разных жанров, написанные различными людьми. Воспользуйтесь следующим словарем:

Имена объектов:

Том Сойер                               Марк Твен                             Роман

По ком звонит колокол          Эрнест Хемингуэй               Пьеса

Ромео и Джульетта                 Шекспир                           Драма

Имена отношений:

жанр, автор, писатель.

В вашей базе данных должны быть, например, такие высказывания: Том Сойер — автор Марк Твен: Том Сойер — жанр роман: Марк Твен — писатель.

6. Создайте базу данных, описывающую устройство велосипеда, воспользовавшись следующим словарем:

Имена объектов:

велосипед                                 колесо            педали

электропривод                         седло               рама

тормозная система                  фара                 руль

тормозной трос                        втулка             шестеренки

переключатель скоростей       цепь                спица

Имена отношений:

часть_объекта.

В вашей базе данных должны быть, например, такие высказывания:

колесо — часть_объекта велосипед: спица — часть_обьекта колесо: втулка — часть_объекта колесо т.д.

7. Создайте базу данных из высказываний, описывающих страны разных частей света, с помощью следующего словаря:

Имена объектов:

Bашингтон           США                                        Америка

Оттава                   Канада                                      Европа

Лондон                  Соединенное королевство     Африка

Рим                        Италия                                  Европа

Лагос                     Нигерия                                 Африка

Париж                    Франция                               Европа

Представьте следующие вопросы в виде запросов на Прологе*

а) верно, что Рим — столица Франции?

б) верно, что Вашингтон — столица государства в Европе?

в) какие города являются столицами стран, находящихся в Европе?

г) имеется ли запись о столице Индии?

д) столицы каких государств в Америке известны системе?

е) в каких частях света находятся государства, столицы которых известны системе?

8. Создайте базу данных из простыx высказываний, описывающих книги разных жанров, написанные различными людьми. Воспользуйтесь следующим словарем:

Имена объектов:

Том Сойер                               Марк Твен                             Роман

По ком звонит колокол          Эрнест Хемингуэй               Пьеса

Ромео и Джульетта                 Шекспир                           Драма

Ответьте на следующие запросы на Прологе и объясните смысл каждого из них:

а) верно (Шекспир автор Ромео и Джульетта)

б) верно (X автор Марк Твен и X жанр роман)

в) какие (X Y: X жанр пьеса и X автор Y)

г) какие (X: X жанр роман и X авторY)

д) какие (X: Y автор X)

9. Cоздайте базу данных, описывающую устройство велосипеда, воспользовавшись следующим словарем:

Имена объектов:

велосипед                                 колесо            педали

электропривод                         седло               рама

тормозная система                  фара                 руль

тормозной трос                        втулка             шестеренки

переключатель скоростей       цепь                спица

Представьте следующие вопросы на Прологе:

а) из каких частей состоит велосипед?

б) верно, что генератор постоянного тока является частью велосипеда?

в) верно, что спица является частью чего-то?

г) частью какой части велосипеда является генератор постоянного тока?

д) из каких частей состоит тормозная система?

10 . Составить на языке Пролог следующую программу:

Амур — это собака

Флэш — это собака

Джерри — это кошка

Стар — это лошадь

Флэш черная

Джерри коричневая

Амур рыжая

Стар белая

X — домашнее животное, если либо X — это собака или X — это кошка.

X — это животное, если либо X — это лошадь или X — домашнее жи­вотное.

Том владеет X, если X — это собака и X не черного цвета.

Кейт владеет X, если либо X черного цвета или X — это лошадь.

Составьте запросы, позволяющие определить:

а) всех, кто владеет животными;

б) всех, кто владеет животными не белого цвета;

в) того, кто владеет Джерри;

г) клички тех животных, которыми кто-то владеет, и имена владельцев.

Контрольные вопросы

1. В чем состоят принципиальные различия процедурных и декларативных языков программирования?
2. Каковы этапы программирования на Прологе?
3. Какие типы данных допускает Пролог?
4. В чем существо операции сопоставления?
5. Как реализуются вопросы к программе на Проло
6. В чем существо операции сопоставления?
7. Как реализуются вопросы к программе на Прологе?
8. В чем заключается процесс унификации на Прологе?
9. Как происходит квантификация переменной в запросе?
10. Как составляются составные запросы на Прологе?