人工知能学会誌（1986～2013, Print ISSN:0912-8085）
論理的問題の等価変換による解法(2) : SLD導出の限界
1998 年 13 巻 6 号 p. 936-943
詳細
1998 年 13 巻 6 号 p. 936-943
=qθ in terms of inference. The theory of SLD resolution provides Prolog with a theoretical foundation, proving that SLD resolution is a sound and complete procedure for logical problems. It should be pointed out, however, that SLD resolution is not the be
