Практическая информатика
Классическая логика и язык ПрологСписки
Термы и объекты
Факты
Запросы к базе данных
Унификация
Правила
Рекурсивные процедуры
Базы знаний
Решение логических задач
Арифметические выражения
Примеры программ
Example.1.1
Содержание раздела
Forekc.ru
Рефераты, дипломы, курсовые, выпускные и квалификационные работы, диссертации, учебники, учебные пособия, лекции, методические пособия и рекомендации, программы и курсы обучения, публикации из профильных изданий