Глава 13. Практические рекомендации ....... ........ 154

13.1. Эффективность программ на Прологе . . ......... 155

13.2. Программистские трюки ........ ......... 156

13.3. Стиль программирования и запись программ ........... 160

13.4. Разработка программ .................... 161

13.5. Дополнительные сведения .................. 163

Часть III. Современные методы программирования на прологе

Глава 14. Недетерминированное программирование ............. 164

14.1. Метод «образовать и проверить» . ............... 165

Упражнения к разд. 14,1 ..................... 173

14.2. Недетерминизм с произвольным выбором альтернативы и недерминизм с

неизвестным выбором альтернативы .............. 174

14.3. Моделирование недетерминированных вычислений ......... 179

Упражнение к разд. 14.3 ..................... 182

14.4. Классические интеллектуальные программы: ANALOGY, ELIZA и

McSAM .......................... I⁸²

Упражнения к разд. 14.4 ..................... 188

14.5. Дополнительные сведения .................. 188

190 Глава 15. Неполные структуры данных ..................

190

15.1. Разностные списки ..................... "_

Упражнения к разд. 15.1 ......••-. ......... I⁷

15.2. Разностные структуры ,....-••. ........

Упражнения к разд. 15.2 ......•••• - • ......

15.3. Справочники .....,..•••• - . ......

15.4. Очереди .............. . . ...... ^2W

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

332 Оглавление

Глава 16. Синтаксический анализ для грамматик, задаваемых определительными

предложениями ..................... 203

Упражнения к гл. 16 ........ ........... 210

16.1. Дополнительные сведения ..... .......... 210

Глава 17. Программирование второго порядка - . ........... 210

17.1. Множественные выражения ..... ........... 211

Упражнения к разд. 17.1 ........ ........... 215

17.2. Применения множественных выражений ........... 215

Упражнения к разд. 17.2 ........ ........... 221

17.3. Другие предикаты второго порядка ............... 221

17.4. Дополнительные сведения .................. 223

Глава 18. Методы поиска ....................... 224

18.1. Поиск на графах пространства состояний ............. 224

Упражнения к разд. 18.1 ..................... 233

18.2. Игровые деревья поиска ................... 233

18.3. Дополнительные сведения .................. 238

Глава 19. Метаинтерпретаторы ..................... 238

19.1. Простые метаинтерпретаторы ................. 239

Упражнения к разд. 19.1 ..................... 245

19.2. Усовершенствованные метаинтерпретаторы для экспертных систем . . . . 245

Упражнения к разд. 19.2 ..................... 251

19.3. Усовершенствованные метаинтерпретаторы для отладки программ . . . . 252

19.4. Дополнительные сведения .................. 259

Часть IV. ПРИЛОЖЕНИЯ

'Jf.1

Глава 20. Игровые программы ..................... ""

20.1. «Выдающийся ум» ..................... 261

20.2. Игра Ним ........................ 264

20.3. Игра в калах ....................... 268

204. Дополнительные сведения .................. 274

Глава 21. Экспертная система для кредитных операций ............ 274

21.1. Дополнительные сведения .................. 279

Глава 22. Решатель уравнений ..................... 281

22.1. Обзор методов решения уравнений ............... 282

22.2. Факторизация ...................... 284

22.3. Метод изоляции ...................... 284

22.4. Полиномиальные уравнения ................. 292

22.5. Гомогенизация ...................... 294

Упражнения к гл. 22 ...................... 295

22.6. Дополнительные сведения .................. 295

Глава 23. Компилятор ........................ 296

23.1. Обзор компилятора ...... v. .........••••• 296

23.2. Синтаксический анализатор .......•••.••••• 301

.'с

23.3. Генератор кода .......... . . ЗС

23.4. Ассемблер ............ • • 30

Упражнения к гл. 23 .......... . . 3[

23.5. Дополнительные сведения ...... . . 31

Приложение

А. Использование Пролог-системы ..... • . 31

В. Системные предикаты ........ . . 31

С. Предварительно определяемые операторы . - . 3] Литература ................. . . З!

Предметный указатель ............ . - 32