Next: 5.1 データベースの実現
Up: ソフトウェア第三 講義資料 パターンマッチ，前向き推論，ユニフィケーション，後向き推論
Previous: 4.2 問い合わせの表現
これから実現しなければならないのは，
と，
という二つの手続きである．
これは引数を評価しない形にするためにマクロで実現する．
ここで紹介する処理系はNorvig(1992)''Paradigms of Artificial
Intelligence Programming''から引用したものである．
ルールと事実はにより同じ形式で表現する．
generated through LaTeX2HTML. M.Inaba 平成18年5月7日