問題4.44 エイトクイーンパズルの問題。 8×8 の盤にしか対応していないけれど、これでよしとする。 あまりにも処理に時間がかかったので、こまめに distinct? を使うようにした。 (define (require p) (if (not p) (amb))) (define (queen-puzzle) (let ((q1 (amb 1 2 3 4 5 6 7 8))) (le…続きを読む

問題4.43 問題文には記載されていないが、Parker のヨット名が Mary Ann であることは自明。 よって、以下の様な関係がわかっている。 父 娘 ヨット Moore Mary Ann Lorna Downing   Melissa Hall   Rosalind Barnacle Hood Melissa Gabrielle Parker   Mary A…続きを読む

問題4.42 amb 評価器に or が無かったので追加する。 (define (analyze exp) (cond ((self-evaluating? exp) ;; 省略 ((or? exp) (analyze (or->if exp))) ;; 省略 (else (error "Unknown expression type — ANALYZE" exp)))…続きを読む

問題4.41 手を抜いて、順列リストの生成には Gauche の permutations 手続き（Gauche ユーザリファレンス: 11.41 util.combinations – 組み合わせ）を利用する。 (use srfi-1) ; for filter (use util.combinations) ; for permutations (define (multiple-…続きを読む

問題4.39 制限の順序は解には影響しない。 解を見いだす時間は、計算に失敗する場合が多い条件を上にすると速くなる。 問題4.40 (define (multiple-dwelling) (let ((backer (amb 1 2 3 4 5))) (require (not (= backer 5))) (let ((cooper (amb 1 2 3 4 5))) (require (not…続きを読む

問題4.38 p249 の multiple-dwelling 手続きの (require (not (= (abs (- smith fletcher)) 1))) 部分を削除するだけでよい。 (define (require p) (if (not p) (amb))) (define (multiple-dwelling) (let ((backer (amb 1 2 3 4 5)) (co…続きを読む

問題4.37 an-integer-between に変数名を引数として渡し、low の値を印字するように修正する。 (define (an-integer-between low high val-name) (require (<= low high)) (begin (print val-name " is " low) (amb low (an-integer-b…続きを読む