Программирование на языке Пролог для искусственного интеллекта
Глава 7. Другие встроенные процедуры
Проверка типов термов
Поразрядное сложение. Отношения в показанном i-м
Программа для арифметических ребусов.
Упражнения
Создание и декомпозиция термов: =.., functor, arg, name
Процедура подстановки в терм вместо одного из его
Упражнения
Различные виды равенства
Работа с базой данных
Упражнения
Средства управления
Bagof , setof и findall
Упражнения
Резюме
Содержание раздела