4.3.3 amb 評価器の実装 – SICP（計算機プログラムの構造と解釈）その208 : Serendip – Webデザイン・プログラミング

4.3.3 amb 評価器の実装 – SICP（計算機プログラムの構造と解釈）その208 : Serendip – Webデザイン・プログラミング

問題を解いていく前に、先に4.3.3節に進み amb 評価器を実装する。 以下が4.1.7節の評価器をベースにし...概要を表示 問題を解いていく前に、先に4.3.3節に進み amb 評価器を実装する。 以下が4.1.7節の評価器をベースにして、4.3.3節の解説に基づき実装した amb 評価器。 (define true #t) (define false #f) ;; 基盤の apply への参照を apply-in-underlying-scheme へ退避させる（こうすることで、基盤の apply に apply-in-underlying-scheme という名前でアクセスできる）。 (define apply-in-underlying-scheme apply) ;;;; apply の定義 (define (apply procedure arguments) (cond ((primitive-procedure? procedure) (apply-primitive-procedure proc

• SICP
• scheme