ПРОЛ-2: небольшое исследование

Думаю, ожидаемо, что меня заинтересовал язык «ПРОЛ-2», придуманный и использовавшийся для написания программ для «Бурана». Меня вообще интересуют такие почти забытые артефакты, и я очень радуюсь, когда удаётся спасти от забвения любые знания.

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

Одна из них — Татьяна Алексеевна Полилова, ведущий научный сотрудник Института прикладной математики им. М. В. Келдыша РАН, — даже прислала мне две брошюры по системе САПО ПРОЛОГ (это другой ПРОЛОГ, не имеющий отношения к логическому языку программирования).

Я ещё не успел детально изучить эти материалы, но, кажется, они косвенно подтверждают мою версию о назначении конструкции 1T. Не могу сказать, что теперь уверен в этом на 100%, но, похоже, она действительно выделяет некие такты, отведённые для работы процессов.

Ниже я привожу цитаты из брошюры «Средства отладки в инструментальной системе САПО-ПРОЛОГ».