Лекция 5: Языки логического программирования Пролог и Mercury

Подробности

Категория: Логическое программирование от НОУ ИНТУИТ

Пролог-программа. Свободные и связные переменные. Структурные термы для представления бесконечных объектов. Характеристики операторов. Встроенные предикаты. Язык Mercury. Режимы предикатов.