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