Print ISSN:0912-8085 until 2013
Solving Logical Problems by Equivalent Transformation (2) : Limitations of SLD Resolution
1998 Volume 13 Issue 6 Pages 936-943
Details
1998 Volume 13 Issue 6 Pages 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
