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'.

 
{
\? {
<Print 'A'> $fail;
<Print 'B'> \! $fail;
<Print 'C'> = '1';
};
<Print 'D'> = '2'; 
}