3.3. Операторная запись (нотация)
3.4. Арифметические действия
Глава 4. Использование структур: примеры
4.1. Получение структурированной информации из базы данных
4.2. Абстракция данных
4.3. Моделирование недетерминированного автомата
4.4. Планирование поездки
4.5. Задача о восьми ферзях
4.5.1. Программа 1
4.5.2. Программа 2
4.5.3. Программа 3
4.5.4. Заключительные замечания
Глава 5. Управление перебором
5.1. Ограничение перебора
5.1.1. Эксперимент 1
5.1.2. Эксперимент 2
5.2. Примеры, использующие отсечение
5.2.1. Вычисление максимума
5.2.2. Процедура проверки принадлежности списку, дающая единственное решение
5.2.3. Добавление элемента к списку, если он в нем отсутствует (добавление без дублирования)
5.2.4. Задача классификации объектов
5.3. Отрицание как неуспех
5.4. Трудности с отсечением и отрицанием
Глава 6. Ввод и вывод
6.1. Связь с файлами
6.2. Обработка файлов термов
6.2.1. reаd и write
6.2.2. Вывод списков
6.2.3. Формирование термов
6.2.4. Обработка произвольного файла термов
6.3. Обработка символов
6.4. Создание и декомпозиция атомов
6.5. Ввод программ: consult, reconsult
Глава 7. Другие встроенные процедуры
7.1. Проверка типов термов
7.1.1. Предикаты var, nоnvar, atom, integer, atomic
7.1.2. Решение числового ребуса с использованием nonvar
7.2. Создание и декомпозиция термов : = ..; functor, arg, name
7.3. Различные виды равенства
7.4. Работа с базой данных
7.5. Средства управления
