Морозов А.А., Обухов Ю.В. Акторный Пролог. Определение языка программирования

М.: Институт Радиотехники и Электроники РАН, 2004. — 137 с.Акторный Пролог — объектно-ориентированный логический язык, предназначенный для программирования информационных систем, функционирующих в динамическом внешнем окружении (интеллектуальных агентов Интернет, систем интерактивного проектирования и
др.).
Акторный Пролог воплощает новый подход к объединению логического и объектно-ориентированного программирования, обладающий следующими достоинствами:
• В основе нашего подхода лежит использование классической логики (логики предикатов первого порядка).
• Центральной идеей и сущностью подхода является обнаружение и устранение логических противоречий, возникающих в процессе взаимодействия объектов.
• Разработанный подход позволил математически корректным образом ввести в логический язык разрушающее присваивание и параллельные процессы.
Данная публикация является определением синтаксиса и семантики Акторного Пролога (версия от 23 января 2004 г.)