Практическая информатика

Классическая логика и язык Пролог
Списки

Термы и объекты
Факты
Запросы к базе данных
Унификация
Правила
Рекурсивные процедуры

Базы знаний
Решение логических задач
Арифметические выражения
Примеры программ

Example.1.1

Содержание раздела

---

---