2.10.10. ОТСЕЧЕНИЯ Хвост \! Q означает, что если при вычислении тропы Q возникнет неуспех, нужно увеличить "серьезность" неуспеха на единицу. При этом считается, что уровень тропы Q на единицу меньше, чем уровень всей конструкции.
Env,m,St |- Q => Oe,St'
----------------------------
Env,m+1,St |- \! Q => Oe,St'
Env,m,St |- Q => $fail(k),St'
------------------------------------
Env,m+1,St |- \! Q => $fail(k+1),St'
Env,m,St |- Q => $error(Oe),St'
------------------------------------
Env,m+1,St |- \! Q => $error(Oe),St'
Например, в результате вычисления тропы, приведенной ниже, будет напечатана цепочка литер 'ABD' и выдан результат '2'.
|