論理型プログラミング

logic programming

（ソフトウェア平成１３年問５４）
プログラムに「事実」と「規則」を記述すれば，プログラム言語の処理系がもつ導出原理によって，エキスパートシステムの開発を容易に行うことができるというプログラミングパラダイム

論理型プログラミングとは，「〜ならば，〜である」というように，論理的に記述していくプログラミングのパラダイム（考え方，枠組み）です。Prologは，この考え方や構造を用いています。

「論理型プログラミング」に関連する書籍一覧（by Amazon/人気順）

▼さらに調べる！ by Google