読者です 読者をやめる 読者になる 読者になる

(wat-aro)

無職から有職者にランクアップしました

SICP 問題 4.53

scheme SICP

permanent-set!でpairsに成功する組み合わせを束縛するが,
(amb)で必ず失敗するので全ての成功する組み合わせをpairsに束縛する.
失敗継続が呼ばれ,if-failの第二引数のpairsが評価される.
この時permanent-set!で束縛されているのでバックトラックで戻らず,今まで代入した成功パターンすべてが表示される.

;;; Amb-Eval input:
(let  ((pairs '()))
  (if-fail (let ((p (prime-sum-pair '(1 3 5 8) '(20 35 110))))
             (permanent-set! pairs (cons p pairs))
             (amb))
           pairs))

;;; Starting a new problem
;;; Amb-Eval value:

;;; Amb-Eval value:
((8 35) (3 110) (3 20))