論理型プログラミング

プログラムに"事実"と"規則"を記述し、プログラム言語の処理系がもつ導出原理によって結論を得るプログラミングパラダイムであって、エキスパートシステムの開発に適しているものはどれか。