Якимов С.П.
Логическое программирование.
Turbo Prolog V.2.0
Красноярск
С.П. Якимов, Е.М. Товбис. Логическое программирование.Turbo Prolog V.2.0: учебное пособие для студентов направлений 230100 «Информатика и вычислительная техника», 231000 «Программная инженерия», очной, очной сокращенной, заочной, заочной сокращенной форм обучения / С.П. Якимов, Е.М. Товбис - Красноярск: СибГТУ, 2013.- 44 с.
Рекомендуется студентам для получения базовых основ в области логического программирования и программирования на языке Turbo Prolog.
Утвержден на заседании кафедры информационных технологий
03.04.06 г., протокол № 9
Рекомендован к изданию редакционно-издательским советом
СибГТУ , протокол .
© ФГБОУ ВПО «Сибирский государственный технологический университет»
© Якимов С.П., Товбис Е.М.
Содержание
Введение.................................................................................................................................... 4
1. Введение в логическое программирование................................................................. 5
2. Основные конструкции логического программирования....................................... 9
3. Структура программы на языке Пролог.................................................................... 14
4. Вычислительная модель логических программ...................................................... 15
5. Управление выполнением программы на языке Пролог....................................... 19
5.1. BAF- метод (Backtrack After Fail– возврат после отказа)........................... 20
5.2. CAF– метод (Cut And Fail– отсечение и отказ)............................................... 20
5.3. UDR– метод (User-Defined Repeat– повторения, управляемые пользователем) 21
6. Рекурсивные структуры данных.................................................................................. 22
7. Программирование баз данных................................................................................... 25
7.1 Управление встроенной базой данных............................................................. 25
7.2 Управление внешней базой данных................................................................... 25
8. Лабораторный практикум............................................................................................. 30
8.1. Основные конструкции логического программирования. Факты и правила 30
Контрольные вопросы.................................................................................................. 31
8.2 Вычислительная модель логических программ. Логические схемы........ 31
Контрольные вопросы.................................................................................................. 35
8.3 Управление выполнением программы на языке Пролог. Оконный интерфейс 35
Контрольные вопросы.................................................................................................. 36
8.4 Рекурсивные структуры данных. Списки......................................................... 36
Контрольные вопросы.................................................................................................. 38
8.5. Программирование баз данных. Базы данных.............................................. 38
Контрольные вопросы........................................................................................................ 40
Библиографический список............................................................................................... 41
Приложение А Ключевые слова....................................................................................... 42