Добавил:
ivanov666
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз:
Предмет:
Файл:Логическое программирование. Учебно-методическое пособие к лабораторным работам
.pdf
81
Задания для лабораторной работы №9
Разработать логическую программу для универсального предиката, вы-
полняющего следующие действия:
1. вычисление степени (арифметического корня, логарифма);
2. вычисление синуса (арксинуса) аргумента;
3. вычисление n-го члена арифметической прогрессии (разности, номе-
ра, начального члена);
4. вычисление косинуса (арккосинуса) аргумента;
5. вычисление n-го члена геометрической прогрессии (частного, номера,
начального члена);
6. вычисление тангенса (арктангенса) аргумента;
7. вычисление суммы n членов арифметической прогрессии (разности,
номера, начального члена);
8. вычисление котангенса (арккотангенса) аргумента;
9. вычисление суммы n членов геометрической прогрессии (частного,
номера, начального члена);
10. вычисление косеканса (арккосеканса) аргумента;
11. вычисление бесконечной суммы геометрической прогрессии (частно-
го, начального члена);
12. вычисление секанса (арксеканса) аргумента;
13. вычисление результата целочисленного деления с остатком (делимо-
го, делителя);
14. вычисление среднего арифметического двух чисел (одного слагаемо-
го);
15. вычисление среднего геометрического двух чисел (одного сомножи-
теля);
16. вычисление среднего гармонического двух чисел (одной из гармони-
ческих составляющих);
17. вычисление среднего квадратического двух чисел (одной из квадра-
тических составляющих);
18. вычисление квадратического значения двух чисел (одного из состав-
ляющих квадратическое значение).
82
Методические указания
Встроенные предикаты присутствуют в любой версии ПРОЛОГа. Срав-
нение различных вариантов металогических предикатов в разных версиях
языка ПРОЛОГ рассмотрены в [9]. Использование металогических предика-
тов var(.), nonvar(.) в языке ПРОЛОГ-10 представлено в гл. 7 [8], описание
встроенных предикатов bound(.) и free(.) Турбо-ПРОЛОГа — в [6, 7, 10].
Содержание отчёта:
1) заголовок лабораторной работы;
2) цель лабораторной работы;
3) индивидуальное задание на выполнение лабораторной работы;
4) тексты логических программ с металогическими предикатами;
5) результаты работы логических программ.
ПРИЛОЖЕНИЯ
Ниже расположены четыре приложения, состоящие из девятнадцати се-
мантических схем и таблиц, предназначенных для выполнения первой (а
значит и восьмой), а также второй и третьей лабораторных работ. Рекурсивные программы обработки баз знаний из в 4-й и 5-й работ также могут быть
применены к обработке данных предлагаемых семантических сетей. Также
программы обработки списков из работы №6 могут использоваться для об-
работки списковых данных, в которые преобразуется данная в приложениях
структурированная информация. Таким образом, материал большей части
лабораторных работ может быть использован для обработки данных из
приложений. Как было сказано в предисловии, эти приложения специально
подобраны автором с целью разнообразить выполнение предлагаемых ла-
бораторных работ. Они содержат небезынтересные, отчасти малоизвест-
ные, но вполне реальные сведения, которые по согласованию с преподава-
телем могут быть заменены на не менее интересные, познавательные и со-
держательные сведения.
83
брат
Гостомысл
Умила
Годавл
Рюрик
Ефанда
Игорь
Ольга
Святая
Святослав
Олег
Вещий
Предслава
Малка
Ярополк
Олег_2
Владимир
Святой
Анна
Юлия
Рогволд
Рогнеда
Святополк
Окаянный
Доброгнева
Борис
Глеб
Позвизд
Ярослав
Мудрый
Предслава_2
Судислав
Изъяслав
Мстислав
Удалой
Святослав_2
Станислав
Всеволод
Вышеслав
Мальк
Любечанин
Добран
Приложение 1. Семантические сети. Таблица 1. Родственные
отношения легендарных исторических личностей IX–XI веков
Синеус
Трувор
Буривой
84
муж
Владимир
Святой
Олаф
Елизавета
Вячеслав
Илья
Владимир
Ингигерда
(Ирина)
Святослав
Генрих I
Французский
Анна
Игорь
Ярополк
Олег Гориславич
Владимир
Мономах
Анна
Филипп I
Французский
Константин IX
Мономах
Олег Северский
Святополк
Борис
Всеволод
Курский
Игорь Северский
Ярослав Мудрый
Евпраксия,
кор. Польская
Василий
Изъяслав
Мстислав
Святослав_
Ростислав
Роман
Анастасия
Гаральд III
Норвежский
Приложение 1. Семантические сети. Таблица 2. Родственные
отношения исторических личностей X–XII веков
Андрей II
Венгерский
Всеволод
муж
Давыд
Глеб
Рогнеда
85
Всеволод
Ярослав
Мудрый
Приложение 1. Семантические сети. Таблица 3. Родственные
отношения исторических личностей X–XIV веков
Рогнеда
Изъяслав
Андрей
Владимир
Святой
Владимир
Мономах
Ярослав
Василий
Александр
Невский
Юрий
Долгорукий
Всеволод
Большое
Гнездо
Андрей
Боголюбский
Даниил
Московский
Василий
Аепа Полов-
чанка
Александра
Брячислав
Полоцкий
Василько
Святослав
Всеслав
Брячислав
Ингегерда
Святослав
Олег
Гориславич
Святослав
Ольгович
Ярославна
Игорь
Северский
Владимир
Всеволод
Курский
Олег
Северский
Мстислав
Великий
Ярослав
Осмомысл
Галицкий
86
Симеон
Фёдор
Волоколамский
Василий I
Гедимин
Дмитрий
Суздальский
Борис
Приложение 1. Семантические сети. Таблица 4. Родственные
отношения исторических личностей XIII–XV веков
Юрий
Молодой
Анна
Андрей
Молодой
Иван III
Великий
Андрей
Большой
Ольгерд
Мария
Ярославна
Константин
Евдокия
Андрей
Василий II
Тёмный
Иван
Рузский
Витовт
Юрий
Большой
Софья
Кейстут
Ярослав
Василий
Александр Невский
Дмитрий
Донской
Дмитрий
Переяславский
Даниил
Московский
Василий
Александра
Андрей
Городецкий
Иван I Калита
Елена
Симеон
Гордый
Иван II
Кроткий
Александра
Василий
Вельяминов
Иван
Анна
Феодора
Дмитрий Брянский
Юрий
Дмитрий
Шемяка
Софья
Мария
87
Иван
Дмитрий
Иван IV
Грозный
Мария
Темрюковна
Никита
Романович
Захарьин
Фёдор
Иоаннович
Приложение 1. Семантические сети. Таблица 5. Родственные
отношения исторических личностей XV–XVII веков
Феодосия
Димитрий
Мария
Нагая
Михаил
Романов
Ксения
(Марфа)
Василий
Фёдор
(Филарет)
Роман
Юрьевич
Захарьин
Анастасия
Романовна
Елена
Глинская
Ирина
Годунова
Борис
Годунов
Фёдор
Годунов
Фёдор Борисович Годунов
Мария
СкуратоваБельская
Малюта
Скуратов
Темрюк
Кабардинский
Василий
Львович
Глинский
Юрий
Василий III
Иван III
Великий
Дмитрий Внук
Иоанн
Молодой
Софья (Зоя)
Палеолог
Мария Борисовна
Борис Тверской
Фома
Палеолог
Елена
Юрий
Дмитрий
Жилка
Андрей
Феодосия
88
Екатерина II
Анна
Марта Скавронска
(Екатерина I)
Екатерина
П.Ф. Салтыкова
Евдокия
Лопухина
Иван V
Феодор
Елизавета
Павел I
Алексей Михайлович
Никита
Романович
Захарьин
М.И. Милославская
Пётр I
Приложение 1. Семантические сети. Таблица 6. Родственные
отношения исторических личностей XVI–XVIII веков
Карл
Фридрих
Голштейн-
Готторбский
Пётр III
Алексей
Пётр II
Софья Шарлотта
Волфенбюттельская
Иван VI
Елизавета
Екатерина
Христина
(Анна
Леопольдовна)
Карл
Леопольд
БрауншвейгЛюнебургский
Софья
Анна
Иоанновна
Кирилл
Нарышкин
Наталья
Нарышкина
Михаил Романов
Ксения (Марфа)
Фёдор (Филарет)
Роман
Анастасия Романовна
89
Софья Фредерика Авгу-
ста Ангальт-Цербстская
(Екатерина II)
Анна
Михаил
Александра
Софья Доротея
Вюртермбергская
(Мария Фёдоровна)
Иоганна Елизавета
Шлезвинг-Голштинская
Михаил
Александр II
Мария
Константин
Алексей
Христиан Август
Максимилиана Вильгельмина
Августа Софья Мария
Гессен Дармштадская (Мария
Александровна)
Алиса Гессенская
(Александра Фёдоровна)
Ольга
Николай II
Ольга
Анастасия
Николай
Павел I
Луиза София
Фредерика Дагмара Датская
(Мария Фёдоровна)
Александр I
Александр III
Татьяна
Шарлотта Прусская
(Александра Фёдоровна)
Константин
Пётр I
Николай I
Приложение 1. Семантические сети. Таблица 7. Родственные
отношения исторических личностей XVIII–XX веков
Карл
Фридрих
Голштейн-
Готторбский
Николай
Пётр III
90
Абрам Петрович
Ганнибал 1696–1781
Христина Матвеевна
фон Шеберх 1705–1781
Осип Ганнибал
1744–1806
Мария Пушкина
1745–1818
Надежда Ганнибал
1775–1836
Иван
1735–
1801
Пётр
1742–
1825
Исаак
1747–
1804
Елизавета
1737–?
Анна
1741–?
Софья
1759–
1802
Сергей Пушкин
1770–1840
Василий
Пушкин
1766–1830
Анна Пушкина
1769–1824
Лев Пушкин
1723–1790
Александр
Петрович
Пушкин
1686–1725
Александр
Сергеевич
Пушкин
1799–1837
Ольга
Сергеевна
Пушкина
1797–1868
Мария
Александровна
1832–1919
Лев
Сергеевич
Пушкин
1805–1852
Николай Сергеевич
1801–1807
Софья
1809 +
Платон
1817–1819
Павел
1810+
Михаил
1811+
Наталья Николаевна
Гончарова 1812–1863
Александр
Александрович
1833–1914
Григорий
Александрович
1835–1905
Наталья
Александровна
1836–1913
Ольга Чичерина
1737–1802
Евдокия
Головина
1703–1725
Василий
Чичерин
1700–1743
Лукерья Приклонская
1705–1765
Алексей
Пушкин
1717–
1777
Сарра
Ржевская
1721–1790
Приложение 1. Семантические сети. Таблица 8.
Родственники А.С. Пушкина в XVII–XX веках
Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]