Акторный Пролог — объектно-ориентированный логический язык, предназначенный для программирования информационных систем, функционирующих в динамическом внешнем окружении (интеллектуальных агентов Интернет, систем интерактивного проектирования и др.).

Акторный Пролог воплощает новый подход к объединению логического и объектно-ориентированного программирования, обладающий следующими достоинствами:

- В основе нашего подхода лежит использование классической логики (логики предикатов первого порядка).

- Центральной идеей и сущностью подхода является обнаружение и устранение логических противоречий, возникающих в процессе взаимодействия объектов.

- Разработанный подход позволил математически корректным образом ввести в логический язык разрушающее присваивание и параллельные процессы.