- •Якимов с.П. Логическое программирование.
- •Красноярск
- •03.04.06 Г., протокол № 9
- •Содержание
- •Введение
- •1 Введение в логическое программирование
- •2 Основные конструкции логического программирования
- •3 Структура программы на языке Пролог
- •4 Вычислительная модель логических программ
- •5 Управление выполнением программы на языке Пролог
- •5.2Caf– метод (CutAndFail– отсечение и отказ)
- •6 Рекурсивные структуры данных
- •7 Программирование баз данных
- •7.1 Управление встроенной базой данных
- •7.2 Управление внешней базой данных
- •8.1 Основные конструкции логического программирования. Факты и правила(2 часа)
- •Контрольные вопросы
- •8.2 Вычислительная модель логических программ. Логические схемы(4 часа)
- •Контрольные вопросы
- •8.3 Управление выполнением программы на языке Пролог. Оконный интерфейс (4 часа)
- •Контрольные вопросы
- •8.4 Рекурсивные структуры данных. Списки (4 часа)
- •Контрольные вопросы
- •8.5 Программирование баз данных. Базы данных (4 часа)
- •Контрольные вопросы
- •Библиографический список
- •Приложение а Ключевые слова
Библиографический список
Минц Г.А. Полное исчисление для чистого Пролога.– Изв. АН СССР, 1986, № 3, С.27– 42.
Мото-ока. ЭВМ пятого поколения. Концепции, проблемы, перспективы. /Под ред. Мото-ока Т.: Пер. с англ.– М.: Финансы и статистика, 1984.– 109 с.
Стерлинг Л., Шапиро Э. Искусство программирования на языке Пролог: Пер. с англ.–М.: Мир, 1990.– 235 с., ил.
Искусственный интеллект: В 3-х кн. Кн. 3. Программные и аппаратные средства: Справочник. /Под ред. В.Н. Захарова, В.Ф. Хорошевского.– М.: Радио и связь, 1990.– 368 с., ил.
Клоксин У., Мелиш К. Программирование на языке Пролог.– М.: Мир, 1987.– 479 с.
Ин Ц., Соломон Д. Использование Турбо Пролога: Пер. с англ.– М.: Мир, 1993.
Калиниченко Л.А., Тихонов Ю.В. Система Мпролог для автоматизации обработки знаний на ЭВМ. /В сб. «Информационное обеспечение комплексной программы научно-технического прогресса стран– членов СЭВ до 2000 года. Методические материалы и документация по пакетам прикладных программ. Выпуск 59». М.: МЦНТИ, 110 с.
Приложение а Ключевые слова
Backtrack After Fail (BAF)
Char
Clauses
Constants
Cut And Fail (CAF)
Database
Domains
Fail
File
Goal
Input
Integer
Internal
Output
Predicates
Real
Selector
String
User Defined Repeat (UDR)
Window
Аксиома
Алгоритм
Альтернатива
Анонимная переменна
База данных внешняя
База данных встроенная
Возврат
Вопрос
Интерпретатор
Конкретизация
Константа
Логическая программа
Множество
Обобщение
Откат
Отношение
Отсечение
Переменная
Подстановка
Правило
Предикат
Пролог
Редукция цели
Резольвента
Рекурсия
Совпадение
Списки
Структура
Терм
Унификатор
Факт
Целевое утверждение
1Father(англ.)– отец.
2Здесь и далее, если это не оговаривается особо, при записи фактов, правил и вопросов, мы будем придерживаться синтаксиса языкаTurboProlog.
1Child(англ.)– дитя, ребенок.
2Pair(англ.)– пара, в контексте: семейная пара.
1Yes(англ.)– да;No(англ.)– нет.
2Бретон Ги. От Анны де Боже до Марии Туше. Из серии «Женщины и короли»: Пер. с франц. В. Егорова.— М.: Пересвет, 1993.— 335 с.
1Father(англ.)– отец,mother(англ)– мать.
1 Grandfather (англ.)– дедушка, grandmother (англ.)– бабушка.
2 Wife (англ.)– жена.
3 Mother-in-law (англ.)– теща.
1Для того чтобы протокол был понятнее, резольвенты напечатаны с отступом относительно предшественника.