いよいよ4章の最後のセクション「論理型プログラミング」に入りました。 ここでのキーワードは「一方向性計算から多方向性計算へ」と「ユニフィケーション」のようです。 また、本文のappendの定義について (define (append x y) (if (null? x) y (cons (car…