2.10.13. АВАРИИ
Хвост
$error Q позволяет породить ошибку $error(Oe), где объектное выражение Oe является результатом вычисления тропы Q.
Env,0,St |- Q => Oe,St'
--------------------------------------
Env,m,St |- $error Q => $error(Oe),St'
Env,0,St |- Q => $fail(0),St'
-----------------------------------------------------------
Env,m,St |- $error Q => $error(Fname "Unexpected fail"),St'
Fname -
имя функции, в которой находится конструкция.Env,0,St |- Q => $error(Oe),St'
--------------------------------------
Env,m,St |- $error Q => $error(Oe),St'