Логическое программирование
Статья
  • формат doc
  • размер 1,56 МБ
  • добавлен 09 мая 2016 г.
Лекции по прологу
В настоящей главе рассматриваются основные отличия языка Visual Prolog от реализаций языка Пролог, удовлетворяющих стандарту (т. н. стандартного Пролога), связанные с унификацией термов. Кроме этого, приводится пример использования интерпретатора PIE в программе на языке Visual Prolog.