http://www.geocities.jp/m_hiroi/xyzzy_lisp/abclisp23.html
変数のユニフィケーションについてリンク先で勉強。
リンク先コードで私が理解できた範囲のコメントを記述。
変数の統合は色々なパタンを考えると意外と難しそう。
このサイトはreCAPTCHAによって保護されており、Googleの プライバシーポリシー と 利用規約 が適用されます。
1文字以上入力してください
本文は少なくとも1文字以上必要です。
1文字以上入力してください。