2
Шаг 19. Основные разделы Пролог-программ. Раздел предложений
Шаг 20. Раздел предикатов
Шаг 21. Раздел доменов
Шаг 22. Раздел цели
Шаг 23. Описание доменов
Шаг 24. Задание типов аргументов при декларации предикатов
Шаг 25. Арность (размерность)
Шаг 26. Синтаксис правил
Шаг 27. Автоматическое преобразование типов
Шаг 28. Сопоставление и унификация
Шаг 29. Поиск с возвратом
Шаг 30. Управление поиском решений
Шаг 31. Прерывание поиска с возвратом: отсечение
Шаг 32. Детерминизм и отсечение
Шаг 33. Факты и правила в качестве процедур
Шаг 34. Простые объекты данных
Шаг 35. Составные объекты данных и функторы
Шаг 36. Объявление составных доменов