СОДЕРЖАНИЕ
|
1. ВВЕДЕНИЕ В ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ |
|
1.1. История |
|
1.2. .Логический вывод |
|
1.3. Применение метода резолюций для ответов на вопросы |
|
2. ВВЕДЕНИЕ В ЯЗЫК ПРОЛОГ |
|
2.1. Особенности языка Пролог |
|
2.2. Пример Пролог-программы: родственные отношения |
|
2.3. Фразы Хорна как средство представления знания |
|
2.4. Алгоритм работы интерпретатора Пролога |
|
3. СЕМАНТИКА ПРОЛОГА |
|
3.1. Порядок предложений и целей |
|
3.2. Декларативная и процедурная семантики |
|
4. СТРУКТУРЫ ДАННЫХ |
|
4.1. Арифметика в Прологе |
|
4.2. Структуры |
|
4.3. Списки |
|
4.4. Примеры использования структур |
|
5. ВНЕЛОГИЧЕСКИЕ ПРЕДИКАТЫ УПРАВЛЕНИЯ ПОИСКОМ |
|
5.1. Ограничение перебора |
|
5.2. Примеры, использующие отсечение |
|
5.3. Отрицание как неудача |
|
5.4. Трудности с отсечением и отрицанием |
|
5.5. Программирование повторяющихся операций |
6. MЕТАПРОГРАММИРОВАНИЕ |
|
6.1. Эквивалентность программ и данных |
|
6.2. Предположение об открытости мира |
|
7. ВНЕЛОГИЧЕСКИЕ ПРЕДИКАТЫ БАЗЫ ЗНАНИЙ И ВВОДА-ВЫВОДА |
|
7.1. Доступ к программам и обработка программ |
|
7.2. Ввод и вывод |
|
7.3. Работа с базой данных “Достопримечательности” |
|
7.4. Программирование второго порядка |
|
7.5. Запоминающие функции |
|
8. МОДИФИКАЦИЯ СИНТАКСИСА (ОПЕРАТОРНАЯ ЗАПИСЬ) |
|
9. ПРИМЕРЫ ПРОГРАММ |
|
9.1. Мутанты |
|
9.2. Олимпиадная задача |
|
РЕКОМЕНДУЕМАЯ ЛИТЕРАТУРА |
