一般化したunfold/fold技法を用いた論理プログラムの変換合成
1988 年 5 巻 2 号 p. 2_167-2_176
詳細
1988 年 5 巻 2 号 p. 2_167-2_176
一般化したunfold/fold技法に基づく論理プログラムの変換合成の方法を示す.この方法は,定義,正の展開,負の展開,畳み込みの4つの基本的な変換合成規則からなり,新しい手続きを定義する式として一階述語論理式のある部分クラスが許されている.これは,玉木-佐藤のプログラム変換とClarkのプログラム合成(の一部)を含み,同値性の保存も証明される.変換合成の簡単な例と場合分け規則についても示す.
