Глава 2. Раздел 10.8. Отрицания условий

2.10.8. ОТРИЦАНИЯ УСЛОВИЙ

Хвост # S R означает, что следует вычислить S, а затем взять "логическое отрицание" полученного результата.

Если хвост R является огражденной пустой тропой (всегда вырабатывающей пустое выражение), он может быть опущен.

# S =>=> # S ,

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

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

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

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

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

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

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

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

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

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