(Иван Братко)
стр. 186 Операции сравнения. 
стр. 208 Операции проверки типа. 
стр. 218 Операции конструирования (композиции и декомпозиции) термов. 
         Системные ошибки Пролога. 
         Простая программа - родственные отношения (parent, 
         grandsire и т.д.).
         
         "Слабые" отсечения (отрезки). Пример использования. 
стр. 187 Ввод и вывод термов. 
стр. 199 Ввод и вывод символов. 
         Строковый ввод и вывод. 
         Файловый ввод и вывод. 

стр.231  Повтор задаваемый пользователем (цикл repeat, 
         fail). 
стр.232  Встроенные предикаты сборки в список всех возможных решений. 

стр. 218 Модификация утверждений программы: встроенные предикаты для 
         добавления/удаления предложений в базу данных (assert и т.д.). 
         Модификация утверждений программы: встроенные предикаты для 
         добавления/удаления термов в базу данных (recorda и т.д.).

стр.278  Представление множеств в виде двоичных деревьев: проверка на 
         принадлежность элемента дереву, отображение дерева на 
         экране монитора. Двоичные справочники: определение, проверка на 
         принадлежность элемента справочнику, добавление элемента в качестве 
         листа,добавление на произвольный уровень справочника, удаление из
         справочника.
         Графы: определение, представление графов в Прологе, поиск пути в 
         ациклическом неориентированном графе, поиск пути в ациклическом 
         ориентированном графе (с использованием assert). 
         стр.305