Глава 2. Раздел 10.3. Условия

2.10.3. УСЛОВИЯ

Тропа S R означает, что следует вычислить источник S, а затем, в случае успеха, вычислять хвост R.

Env,0,St |- S => ,St'

Env,m,St'|- R => X,St"

------------------------

Env,m,St |- S R => X,St"

Env,0,St |- S => $fail(k),St'

-------------------------------

Env,m,St |- S R => $fail(0),St'

Env,0,St |- S => $error(Oe),St'

---------------------------------

Env,m,St |- S R => $error(Oe),St'