この節ではamb評価器の内部に迫ります。 個人的には自前でambオペレータを作った際に、継続やバックトラックと散々戯れたので、ここはさらっと読み流します。 amb評価器で重要そうなのは、やはりamb式の評価ですよね。 (define (analyze-amb exp) (let ((cpr…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。