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