|
Документ взят из кэша поисковой машины. Адрес
оригинального документа
: http://www.cplire.ru/Lab144/1251/01070000.html
Дата изменения: Mon Sep 24 14:54:40 2007 Дата индексирования: Tue Oct 2 02:40:26 2012 Кодировка: Windows-1251 |
Повторное доказательство акторов в Акторном Прологе автоматически поддерживает корректность логического вывода при использовании разрушающего присваивания и параллельных процессов.
Ссылки: актор 7.1, повторные доказательства 7.1, процесс 5.2, разрушающее присваивание 8.1.
Следующий:
7.1. АКТОРЫ
Предыдущий:
6.3.4. ОТКАТ ПРОГРАММЫ
7.1. АКТОРЫ
7.2. ОБЩИЕ ПЕРЕМЕННЫЕ
7.3. СОГЛАСОВАНИЕ АКТОРОВ ПРОЦЕССА
7.4. СОГЛАСОВАНИЕ ПРОЦЕССОВ
7.5. ИСКЛЮЧИТЕЛЬНЫЕ СИТУАЦИИ
КОРНЕВАЯ СТРАНИЦА
ОГЛАВЛЕНИЕ
СПИСОК ПОНЯТИЙ ЯЗЫКА (ИНДЕКС)