Крылов В.Г. Основы логического программирования

В.Г.Крылов - Основы логического программирования. Учебное пособие
Екатеринбург, 2009 г. - 62 стр.
Уральский государственный экономический университет
Кафедра информатики и эконометрики
Содержание:
Основы логического программирования
Введение
Предложения: факты и правила
Запросы
Предикаты
Переменные
Основные секции программы
Основные стандартные домены
Поиск с возвратом
Управление поиском с возвратом: предикаты ! и fail
Рекурсия
Составные объекты
Списки
Деревья
Строки
Литература