base-three-or-moreoには恐れをなして先にlogo本体 (defrel (logo n b q r) (conde ((== '() q) (<=o n b) (+o r '(1) n)) n = b^q + rの関係であること、とは（という読み方をしてみる）