Подробное описание документа

   Методические материалы и документация по пакетам прикладных программ / Междунар. центр науч. и техн. информации. - М., 1980-1990.
   Вып. 59 : Система МПРОЛОГ для автоматизации обработки знаний на ЭВМ / Ин-т пробл. информатики АН СССР, НИИ и инновац. центр по вычисл. техники ВНР. - 1989. - 109 с.

Настоящий выпуск ’’Методических материалов и документации по пакетам прикладных программ” содержит описание системы логического программирования МПРОЛОГ и системы поддержки разработки программ на языке МПРОЛОГ, разработанных в Научно-исследовательском институте и инновационном центре по вычислительной технике ВНР (СКИ).
ПРОЛОГ — язык логического программирования для решения задач искусственного интеллекта, создания систем обработки знаний, экспертных систем. Система МПРОЛОГ разработана для различных вычислительных машин, в том числе для машин серии ЕС с операционной системой СВМ/ПДО, персональных ЭВМ, 32-разрядных мини-ЭВМ типа СМ-1700 с операционными системами МОСВП, ИНМОС, ДЕМОС.
Материалы выпуска состоят из двух частей.
В ч. 1 ’’Язык логического программирования МПРОЛОГ. Описание языка” даны основные определения и понятия языка МПРОЛОГ, синтаксис выражений. Приведены основные принципы модульного программирования на языке МПРОЛОГ, объяснены принципы работы интерпретатора. Дано подробное описание встроенных предикатов системы, в том числе предикатов ввода-вывода, встроенных арифметических предикатов, предикатов обработки ошибок.
В ч. 2 ’’Система поддержки разработки программ на языке логического программирования МПРОЛОГ. Справочный материал” дано описание функций системы. Приведены правила разработки и проверки программ на языке МПРОЛОГ. Подробно описана методика создания самостоятельных программ, в том числе прохождение программы через все этапы. Дано описание работы с текстовым редактором.
Материалы выпуска подготовлены с целью информационного обеспечения работ по реализации Комплексной программы научно-технического прогресса стран - членов СЭВ до 2000 г.