Содержание

Якимов С.П.

Логическое программирование.

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