プロダクションシステム
プロダクションルールの条件部の表現能力はプロダクションシステムによって様々である。条件に適合するプロダクションルールを集めるパターンマッチアルゴリズムも同様に様々である。単純なもの(全ルールを順次検索して最初に適合したものを発見したところで停止)から最適化されたもの(ルールをコンパイルして相互に関連した条件のネットワークを形成する)まである。
後者は、1983年にチャールズ・フォーギーが設計したReteアルゴリズムで説明されたものであり、カーネギーメロン大学で開発された OPS と呼ばれる一連のプロダクションシステムで使用された。OPS は 80年代初期の OPS5(英語版) で頂点に達した。OPS5 はプロダクションシステムのプログラミングのための本格的なプログラミング言語でもある。