簡略化して． (and (not A) B C)を(and B C (not A))に並び替えてからqevalしていく． 入れ子になっていた場合もqevalでまたcojoinに送られるので対処出来る． ただ問題文通りだと，必要な変数を満たす表明が現れたらすぐにnotを実行しなければいけないが，…

本文中のandはひとつ目の質問を満たす表明に対して次の質問を満たす表明をデータベースから探してくる． それを２つの質問をそれぞれ満たすストリームをまず作り， 矛盾がないようにそれらを組み合わせるconjoin特殊形式を実装する． (define (conjoin conju…

指定した質問を満足する項目がデータベースに一つしかないときに成功する特殊形式uniqueの実装． ;; streamの個数を調べる． (define (stream-length s) (let iter ((stream s) (count 0)) (if (stream-null? stream) count (iter (stream-cdr stream) (+ co…

;; negate, lisp-value, singleton-streamはflatten-streamを変更して直列にしても問題ないのではという問題 ;; 元のflatten-stream (define (flatten-stream stream) (if (stream-null? stream) the-empty-stream (interleave-delayed (stream-car stream) …

flatten-streamが明示的にdelayを使うのはなぜか． flatten-streamはストリームのストリームを引数にとる． 4.71と同じく引数のストリームの中に無限ストリームがあると評価が終わらずになにも印字されないため．

stream-appendだと最初のストリームが無限ストリームだった場合に次のストリームが評価されなくなる． なのでinterleaveにして交互に先頭の要素を評価することで，どちらかもしくは両方が無限ストリームの時に対応できるようにする．

;; 本文中のsimple-query (define (simple-query query-pattern frame-stream) (stream-flatmap (lambda (frame) (stream-append-delayed (find-assertions query-pattern frame) (delay (apply-rules query-pattern frame)))) frame-stream)) ;; 本文中のdi…

なかなか処理の流れがわからなかったのでコメントを多めにつけてみた． ;; 駆動ループ (define input-prompt ";;; Query input:") (define output-prompt ";;; Query result:") (define (prompt-for-input string) (newline) (newline) (display string) (ne…