待ち時間で整理してみる事に。 まず unify-term の仕様 (というか実装) から。 t が var-term の場合 u が var-term 又は u に含まれる id に tid が無い場合は unit-subst 手続きに tid と u を渡した結果を戻す 上記の条件に合致しない場合、#f を戻す t …

SICP を読み始めた若い方がいらっしゃいまして、その方に「読書会やんね?」的なコメントを投入した所、前向きな回答。これはやるっきゃないでしょ、と言いつつ具体的にどうするか、が微妙。 twitter で緩募してみる くらいしか思いつかんな。場所もどうする…

直前エントリで unify-terms が #f を戻すケイスを列挙してますが、引数リストの cdr がこうなってれば良いのか。ちなみに car は #f を戻さない、というのが基本。

なんとなく目が覚めたので続行。