Логическое программирование

Содержание курса

• Введение
• Термы
• Программа
• Метапредикаты и управление выводом
• База данных Пролога
• Ввод-вывод
• DC-грамматики

Задания

Литература