2.10.12. ПРАВЫЕ ЧАСТИ

Хвост = Q означает, что перед вычислением тропы Q следует начать "новую жизнь", т.е. считать, что Q находится на нулевом уровне. Если в результате вычисления Q получится неуспех $fail(k), то результатом хвоста = Q является $fail(m+1), где m - уровень, на котором находится хвост = Q. Таким образом, вырабатывается неуспех, силы которого достаточно, чтобы пробить все заборы, которые еще не отменены с помощью отсечений.