Глава 7

Акторы и повторные доказательства

Повторное доказательство акторов в Акторном Прологе автоматически поддерживает корректность логического вывода при использовании разрушающего присваивания и параллельных процессов.

Ссылки: актор 7.1, повторные доказательства 7.1, процесс 5.2, разрушающее присваивание 8.1.

7.1Акторы

Актором называется подцель доказательства, соответствующая акторному вызову предиката.

Актор Q называется «вложенным» по отношению к актору P, если эти акторы принадлежат одному процессу, и доказательство актора Q, результаты которого в данный момент не отменены, происходит (произошло) в ходе доказательства актора P.

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

Повторным доказательством актора называется повторение доказательства актора с самого начала.

Актор может находиться в одном из трёх состояний:

1. «активный» актор;

67