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

Проверка типов термов
Предикаты var nоnvar atom integer atomic
Решение числового ребуса с использованием nonvar
Поразрядное сложение

Упражнения
Создание и декомпозиция термов = functor arg name
Процедура подстановки в терм вместо одного из его подтермов некоторого другого подтерма
Упражнения
Различные виды равенства
Работа с базой данных
Упражнения
Bagof setof и findall
Реализация отношения findall
Упражнения

Резюме
Содержание раздела