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