オブジェクト指向型言語と論理型言語の融合方式に関する考察