本調査研究は、計算と学習を融合した新しいタイプの論理プログラミング言語である PRISMの研究・開発を行なう。論理プログラムのファクト集合に与える基礎分布として多項分布を C言語で実装し、元の論理プログラムを実行用と学習用のプログラムに翻訳するトランスレータを開発実装する。