2

´

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

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

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

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

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

Данная публикация является определением синтаксиса и семантики Акторного Пролога (версия от 23 января 2004 г.)

A. A. Morozov, Yu. V. Obukhov

Actor Prolog

Programming Language Definition

(version of January 23, 2004)

5.1Экземпляры классов . . . . . . . . . . . . . . . . . . . . . . . 37

5.2Процессы . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38

5.2.1Состояния процесса . . . . . . . . . . . . . . . . . . . 39

5.2.2Порты процессов . . . . . . . . . . . . . . . . . . . . . 42

5.3 Резиденты . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45

5.4Построение пространства поиска . . . . . . . . . . . . . . . . 48

5.4.1Исполнение конструкторов . . . . . . . . . . . . . . . 49

5.4.2Построение слотов . . . . . . . . . . . . . . . . . . . . 50

6.1.1Простые атомы . . . . . . . . . . . . . . . . . . . . . . 54

6.1.2Бинарные отношения . . . . . . . . . . . . . . . . . . 56

6.1.3Объявления функций . . . . . . . . . . . . . . . . . . 56

6.2Подцели предложений . . . . . . . . . . . . . . . . . . . . . . 57

6.2.1 Вызовы функций . . . . . . . . . . . . . . . . . . . . 58

6.2.2Выражения . . . . . . . . . . . . . . . . . . . . . . . . 60

6.3Стратегия управления . . . . . . . . . . . . . . . . . . . . . . 61

6.3.1Исполнение вызова предиката . . . . . . . . . . . . . 61

6.3.2Исполнение предложения . . . . . . . . . . . . . . . . 64

6.3.3Механизм задержки исполнения . . . . . . . . . . . . 65

6.3.4Откат программы . . . . . . . . . . . . . . . . . . . . 66

7.1Акторы . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67

7.2Общие переменные . . . . . . . . . . . . . . . . . . . . . . . . 68

7.3.1Сопоставление локальных значений . . . . . . . . . . 71

7.3.2Исполнение повторных доказательств . . . . . . . . . 72

7.4Согласование процессов . . . . . . . . . . . . . . . . . . . . . 72

7.4.1Классификация сообщений . . . . . . . . . . . . . . . 73

7.4.2 Прямые сообщения . . . . . . . . . . . . . . . . . . . 74

7.4.3 Потоковые сообщения . . . . . . . . . . . . . . . . . . 76

7.5Исключительные ситуации . . . . . . . . . . . . . . . . . . . 81

8.1Корректное разрушающее присваивание . . . . . . . . . . . 85

8.2Актуализация производных значений . . . . . . . . . . . . . 86

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

Стратегия управления Акторного Пролога — акторный механизм — является расширением стандартной стратегии управления языка Пролог (стратегии «поиска слева направо в глубину с возвратом»). В отличие от стандартной стратегии управления, акторный механизм допускает разрушающее присваивание значений общим переменным и при этом автоматически поддерживает корректность доказательства теоремы с помощью повторного доказательства отдельных акторов.

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

Различаются «минимальная», «быстрая» и «максимальная» версии языка. Минимальной и быстрой версиям соответствует упрощённый алгоритм унификации (без проверки вхождения). В быстрой и максимальной версиях гарантируется, что исполнение любого процесса не может привести к неопределённо длительной приостановке других процессов.

Для определения синтаксиса языка используется расширенная форма Бэкуса-Наура. Терминальные символы, когда это необходимо, выделяются с помощью кавычек и апострофов.

Настоящий раздел (введение), а также любые приложения, примеры, примечания и ссылки не являются составной частью определения языка.

Ссылки: актор 7.1, акторный механизм 7, доказательство актора 6.3.1, значение переменной 3.1, исполнение процесса 5.2, общие переменные 7.2, повторные доказательства 7.1, подцель доказательства 6.3.1, проверка вхождения 3.3, программа 4, процесс 5.2, разрушающее присваивание 8.1, унификация 3.3.