Кадр 6:8 — Почему мы не застреваем в рекурсии?

Question

Мы получаем:

      (defrel (alwayso)
  (conde
    (#s)
    ((alwayso))))

(run 1 q
  (alwayso)
  #u)

В книге (2-е изд.) говорится:

" alwaysoудается, за которым следует , что вызывает (alwayso)повторить попытку, которая снова увенчается успехом».

Я все еще не понимаю поток управления. Почему не обе рукиcondeпытался (продолжая рекурсию), прежде чем выйти на#u?