reteアルゴリズムとは、プロダクションシステム実装のための効率的なパターンマッチングアルゴリズムである。