А. А. Морозов, Ю. В. Обухов - Акторный Пролог

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

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

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

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

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

Скачано: 214 раз

Скачать книгу

Имя:
Комментарий:
Проверочный код	Сменить картинку

А. А. Морозов, Ю. В. Обухов - Акторный Пролог

Оставить комментарий