4.67, 4.69はパスします。 exercise 4.64 ;; exercise 4.64 (assert! (rule (outranked-by2 ?staff-person ?boss) (or (supervisor ?staff-person ?boss) (and (outranked-by2 ?middle-manager ?boss) (supervisor ?staff-person ?middle-manager))))) (outr…

なんとかquery評価器を実装した． そのままの実装では動かないので，注意． 変更点は (define false #f) (define true #t)を追加 self-evaluating? に ((boolean? exp) #t) を追加 (define extend-in-underlying-scheme extend)を追加して，もともとのextend…

SICPと平行して，プログラミングGaucheに取り組む． 今回は19.8のコルーチン．SICP前にこれに取り組んだときは手も足も出なかった... 今回は理解できた気がする． コルーチン機構を作り出すマクロは以下のもの． (use util.queue) (define *task* (make-queu…

id:rsakamot:20090502:1241226261では，継続わからないとつぶやいた．そしてそのまま放置してSICPへと移行した．SICP4.3では，継続(call/ccは使わず，ひたすら関数を渡す)を用いて，amb評価器を実装した． 細かい動きは理解し切れていない気がするが，おおよ…