Программирование на языке Пролог для искусственного интеллекта

Проверка типов термов
Предикаты var nоnvar atom integer atomic
Решение числового ребуса с использованием nonvar
Поразрядное сложение
Упражнения
Создание и декомпозиция термов = functor arg name
Процедура подстановки в терм вместо одного из его подтермов некоторого другого подтерма
Упражнения
Различные виды равенства
Работа с базой данных

Упражнения
Bagof setof и findall
Реализация отношения findall
Упражнения
Резюме
Содержание раздела