Reteアルゴリズム
Rete algorithm
プロダクションシステム
パターンマッチングアルゴリズム
Reteアルゴリズム - Wikipedia