Часть II. Язык пролог

Глава 6. Чистый Пролог ................…………………………………………………………………... 80

6.1. Вычислительная модель Пролога .........………………………………………………. 80

Упражнения к разд. 6.1 ..............…………………………………………………………….. 84

6.2. Сравнение с традиционными языками программирования …………………… . 84

6.3. Дополнительные сведения ............…………………………………………………….. 86

Глава 7. Программирование на чистом Прологе ........…………………………………………. 86

7.1. Порядок правил ………………………………………………………………………….. 87

Упражнения к разд. 7.1 ..............…………………………………………………………….. 88

7.2. Проблема завершения программ .........………………………………………………. 88

Упражнения к разд. 7.2 ..............……………………………………………………………. 90

7.3. Порядок целей ................………………………………………………………………… 90

Упражнения к разд. 7.3 ..............…………………………………………………………. . . 92

7.4. Избыточные решения .............………………………………………………………….. 92

7.5. Рекурсивное программирование в чистом Прологе . . . . …………………….. …. 94

Упражнения к разд, 7.5 ..............……………………………………………………………. 99

7.6. Дополнительные сведения ............……………………………………………………. 100

Глава 8. Арифметика ..................…………………………………………………………………… 100

8.1. Системные арифметические предикаты ........……………………………………….. 100

8.2. Повторное рассмотрение арифметических логических программ ……………. 102

Упражнения к разд. 8.2 ...............……………………………………………………………. 103

8.3. Замена рекурсии итерацией ............…………………………………………………... 104

Упражнения к разд. 8.3 ..............…………………………………………………………….. 109

8.4. Дополнительные сведения ............…………………………………………………….. 109

Глава 9. Анализ структуры термов……………………………………………………………….. 110

9.1. Типовые предикаты ...............………………………………………………………….. .110

Упражнения к разд. 9.1 .............……………………………………………………………...112

9.2. Составные термы………………………………………………………………………... 112

Упражнения к разд, 9.2 ... .........……………………………………………………………... 118

9.3. Дополнительные сведения . .........……………………………………………………... 118

Глава 10. Металогические предикаты . ............. .118

10.1 Типовые металогические предикаты .......... 119

Упражнения к разд. 10.1 ................ 122

10.2. Сравнение неосновных термов ............ . . 122

10.3. Использование переменных в качестве объектов . ..... . . 124

10.4. Доступность метапеременных ............ .126

10.5. Дополнительные сведения ............. .127

пис 3^1 Глава 11. Отсечения и отрицание .......... ... . . 127

11.1. Зеленые отсечения: выражение детерминизма . ... . . 127

Упражнения к разд. 11.1 .......... . . . 132

11.2. Оптимизация остатка рекурсии . ..... . . . 132

11.3. Отрицание ............. . . . 133

Упражнения к разд. 11.3 .......... ... . . 136

11.4. Красные отсечения: устранение явных условий . . . 136 Упражнения к разд. 11.4 .......... . . . 139

11.5. Правила по умолчанию ........ . . . . 139

11.6. Дополнительные сведения ........ ... . . 140

Глава 12. Внелогические предикаты ......... , . . . 141

12.1. Ввод-вывод. ............. . . . . 141

Упражнения к разд. 12.1 ........... .... ... 144

12.2. Доступ к программам и обработка программ . .... . . 144

12.3. Запоминающие функции ......... .... . . 146

Упражнения к разд. 12.3 ........... .... . . 147

12.4. Интерактивные программы ........ .... . . 147

Упражнения к разд. 12.4 .......... .... . . 152

12.5. Циклы, управляемые отказом ....... .,,,.... 152

Упражнения к разд. 12.5 ........... ........ 153

12.6. Дополнительные сведения ........ ........ 153