2012年 春期

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