Next: 1 変数を含むパターンとデータのマッチング
Up: ソフトウェア第三 講義資料 パターンマッチ，前向き推論，ユニフィケーション，後向き推論
Previous: ソフトウェア第三 講義資料 パターンマッチ，前向き推論，ユニフィケーション，後向き推論
プロダクションシステムでは，すでに知っている
事実から推論に利用できるルールを調べる際に，
事実とルールのパターンが合うものを調べてゆく
ということを行う．そこで，その最初の
事実データと変数を含むパターンとの照合を
行う手続きの実現法を調べる．
generated through LaTeX2HTML. M.Inaba 平成18年5月7日
前向き推論