問題4.62 – SICP（計算機プログラムの構造と解釈）その235
問題4.62 リストの car が x で、cdr が () の場合 x が最後の要素となる。 任意の x, y, z において、y が最後の要素 z であるならば、(cons x y) の最後の要素は z となる。 ( [...]…続きを読む
問題4.61 – SICP（計算機プログラムの構造と解釈）その234
問題4.61 最初の規則(rule)だけでは先頭からの2つの要素の隣接関係しか見つけられない。 2番目の規則(rule)によって連続する要素を再帰的に調べていく。 ; 調査対象リストの最初の 1, 2 番目の要素を ne [...]…続きを読む
問題4.60 – SICP（計算機プログラムの構造と解釈）その233
問題4.60 元の lives-near では重複する対が出てくるために結果の組み合わせ数が2倍になる。 (assert! (rule (lives-near ?person-1 ?person-2) (and (add [...]…続きを読む
問題4.59 – SICP（計算機プログラムの構造と解釈）その232
問題4.59 以下の表明をデータベースに追加する。 (assert! (meeting accounting (Monday 9am))) (assert! (meeting administration (Monday [...]…続きを読む
