前向き連鎖のトップダウン型アプローチはCLIPSなどのエキスパートシステムで普通に使用されている.
トップダウン型