Оглавление

• Глава 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 Актуализация производных значений
• А. Дополнительные условия
• В. Свойства, зависящие от реализации
• С. Термины и определения
• D. Список понятий языка