ПРИЛОЖЕНИЕ 3. ТЕРМИНЫ И ОПРЕДЕЛЕНИЯ

(Данное приложение не является частью определения языка.)

<А>

Активизация актора
Активизация порта
Активный актор
Активный процесс
Актор
Акторный вызов предиката
Акторный механизм
Актор-представитель
Актуализация производных значений
Актуальное значение переменной
Анонимная переменная
Аргумент
Арность
Атомарная формула, атом
Атрибут

<Б>

Библиотечный модуль
Бинарное отношение
Ближний вызов предиката

<В>

Владелец резидента
Вложенные акторы
Вложенные миры
Встроенный предикат
Встроенный управляющий оператор
Вызов предиката
Вызов функции
Выражение

<Г>

Глобальное значение переменной
Глобальные операции
Графический символ, графема

<Д>

Дальний вызов предиката
Детерминированный
Доказанный актор
Доказанный процесс
Доказательство
Доказательство актора

<З>

Заголовок недоопределённого множества
Заголовок предложения
Задержанная подцель
Задерживающее значение
Защищающий порт
Защищённое сообщение
Знак операции
Значение лексемы
Значение переменной
Значение порта
Значение потокового сообщения
Значение слота
Значение терма

<И>

Иерархия наследования
Импорт класса
Импортируемый класс
Инициализатор слота
Инициализация процесса
Инициализирующее сообщение
Интерференция потоковых сообщений
Информационные сообщения
Исключительная ситуация
Исполнение вызова предиката
Исполнение конструктора
Исполнение предложения
Исполнение программы
Исполнение процесса
Использование класса
Использование переменной актором
Используемый процесс
Исходный файл

<К>

Класс
Ключевое слово
Комментарий
Константа
Конструктор
Конструктор мира
Конструктор процесса
Конструктор резидента

<Л>

Лексема
Локальное значение общей переменной

<М>

Максимальная относительная погрешность
Метаатом
Метапеременная
Метапредикат
Метапредложение
Метафунктор
Механизм задержки исполнения
Мир

<Н>

Наследование
Начальное значение слота
Недетерминированный
Недоопределённое множество
Незащищённое сообщение
Неиспользуемый процесс
Нейтрализация актора
Нейтрализация процесса
Нейтральный актор
Непустое значение сообщения
Непустое потоковое сообщение
Несвязанная переменная
Несогласованный порт
Неудачный процесс

<О>

Обозначение исключительной ситуации
Обработка исключительной ситуации
Обработка сообщения
Общая переменная
Объявление функции
Объявленный процесс
Ограничитель
Оператор отсечения, '!'
Описатель порта
Освобождение общих переменных процессом
Откат
Отключающее значение
Отключающее сообщение
Отключающий порт
Отключение процесса

<П>

Пакет
Параметр
Передача сообщения
Переключающие сообщения
Перекрытие инициализаторов
Перекрытие описателей портов
Переменная
Пересмотр списка задержанных подцелей
Повторное доказательство актора
Поглощение сообщения
Подключение процесса
Подцель доказательства
Подцель предложения
Порт
Построение процесса
Построение резидента
Построение слота
Построение экземпляра класса
Потоковое сообщение
Правило
Правило второго порядка
Предикат
Предикатный символ
Предикат с переменным числом аргументов
Предложение
Предопределённый предикат
Принадлежать актору
Принадлежать процессу
Проверка вхождения
Программа
Программная библиотека
Программный модуль
Проект
Производитель глобального значения
Производитель значения порта
Производитель потокового сообщения
Производное значение общей переменной процесса
Простой атом
Простой вызов предиката
Простой конструктор
Простой порт
Простой терм
Процедура
Процесс
Прямое сообщение
Пустое значение
Пустое сообщение

<Р>

Разделитель
Разрушающее присваивание
Расширенные цифры
Резидент

<С>

Связывание переменной
Сегмент строки
Символ
Системный каталог
Слот
Согласование акторов
Согласование процессов
Согласованность акторов
Согласованность процессов
Согласованный порт
Создатель процесса
Создатель резидента
Сообщение
Соответствие переменной актору
Сопоставление локальных значений
Сорт глобального значения переменной
Сорт значения порта
Сорт порта
Сорт потокового сообщения
Составной терм
Состояние актора
Состояние порта
Состояние процесса
Спейсер
Специальный символ
Список
Список задержанных подцелей
Стратегия управления
Строковый литерал
Структура
Сформированный процесс
Сцепление переменных

<Т>

Текущее значение порта
Терм
Точка выбора

<У>

Унификация
Унифицировать, '=='
Управляющий оператор
Управляющий символ

<Ф>

Фаза исполнения процесса
Факт
Фиксирование процесса
Фиксирование терма
Фиксированное значение
Формирование программы
Формирование процесса
Формирование экземпляра класса
Функтор
Функция

<Х>

Хвост

<Ц>

Целевое утверждение
Целевой мир резидента
Целевой параметр
Целевой процесс резидента

<Ч>

Число
Числовой литерал

<Э>

Экземпляр класса, мир
Элементарный программный модуль
Элемент данных


КОРНЕВАЯ СТРАНИЦА
ОГЛАВЛЕНИЕ
СПИСОК ПОНЯТИЙ ЯЗЫКА (ИНДЕКС)