Перечень предикатов языка Пролог и другие мелочи / Ссылки на Ивана Братко

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

"Слабые" отсечения (отрезки). Пример использования.
стр. 187 Ввод и вывод термов.
стр. 199 Ввод и вывод символов.
Строковый ввод и вывод.
Файловый ввод и вывод.

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

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

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