Российская Академия Наук

Ордена Трудового Красного Знамени

Институт радиотехники и электроники

Лаборатория 144

АКТОРНЫЙ ПРОЛОГ

ОПРЕДЕЛЕНИЕ ЯЗЫКА ПРОГРАММИРОВАНИЯ

версия от 23 января 2004 года

ОГЛАВЛЕНИЕ

• Введение
• 1. Алфавит языка
• 2. Лексика
  • 2.1. Лексемы
    • 2.1.1. Переменные
    • 2.1.2. Символы и ключевые слова
    • 2.1.3. Числовые литералы
    • 2.1.4. Сегменты строк
    • 2.1.5. Ограничители
  • 2.2. Комментарии
• 3. Определение данных
  • 3.1. Простые термы
  • 3.2. Составные термы
    • 3.2.1. Структуры
    • 3.2.2. Списки
    • 3.2.3. Недоопределенные множества
  • 3.3. Унификация термов
• 4. Структура программы
  • 4.1. Классы
    • 4.1.1. Атрибуты классов
    • 4.1.2. Инициализаторы слотов
    • 4.1.3. Конструкторы
  • 4.2. Проект
  • 4.3. Пакеты
  • 4.4. Трансляция исходных файлов
• 5. Структура пространства поиска
  • 5.1. Экземпляры классов
  • 5.2. Процессы
    • 5.2.1. Состояния процесса
    • 5.2.2. Порты процессов
  • 5.3. Резиденты
  • 5.4. Построение пространства поиска
    • 5.4.1. Исполнение конструкторов
    • 5.4.2. Построение слотов
• 6. Предложения классов
  • 6.1. Атомарные формулы
    • 6.1.1. Простые атомы
    • 6.1.2. Бинарные отношения
    • 6.1.3. Объявления функций
  • 6.2. Подцели предложений
    • 6.2.1. Вызовы функций
    • 6.2.2. Выражения
  • 6.3. Стратегия управления
    • 6.3.1. Исполнение вызова предиката
    • 6.3.2. Исполнение предложения
    • 6.3.3. Механизм задержки исполнения
    • 6.3.4. Откат программы
• 7. Акторы и повторные доказательства
  • 7.1. Акторы
  • 7.2. Общие переменные
    • 7.2.1. Построение общих переменных
  • 7.3. Согласование акторов процесса
    • 7.3.1. Сопоставление локальных значений
    • 7.3.2. Исполнение повторных доказательств
  • 7.4. Согласование процессов
    • 7.4.1. Классификация сообщений
    • 7.4.2. Прямые сообщения
    • 7.4.3. Потоковые сообщения
  • 7.5. Исключительные ситуации
• 8. Встроенные предикаты и операторы
  • 8.1. Корректное разрушающее присваивание
  • 8.2. Актуализация производных значений
• Приложение 1. Сводка синтаксиса
  • Синтаксические правила языка
  • Дополнительные условия
  • Перекрестные ссылки синтаксиса
• Приложение 2. Свойства, зависящие от реализации
• Приложение 3. Термины и определения
• Приложение 4. Список понятий языка
• Приложение 5. Список литературы