G. Levi and F. Scozzari. Contributions to a theory of existential termination for definite logic programs. GULP-PRODE'95, pp. 631--642. 1995.  Home/Search   Document Details and Download   Summary   Related Articles

.... the introduction, the very few works on the subject ( 9, 18, 6] give only expressibility results and are, presently, of no practical use (cf. 13] Also, they do not cope with the intermediate degrees of k termination (2 k ) Very recently, other two works have addressed the subject, namely [25, 20]. The first work [25] has introduced the concept of k termination, and shown how it can be studied using functional programming techniques. However, the class of normal logic programs to which this analysis can be applied is rather limited, since the main goal of the work is completely different, ....

....programming techniques. However, the class of normal logic programs to which this analysis can be applied is rather limited, since the main goal of the work is completely different, namely to identify what part of logic programming is just functional programming in disguise. The second work is [20], but besides do not treating negation, its practical importance is at the moment unclear. Thus, in order to make a comparison with other works we have to restrict our approach to the universal termination case only. A first point that can be made is that our approach is able to satisfactorily ....

G. Levi and F. Scozzari. Contributions to a theory of existential termination for definite logic programs. GULP-PRODE'95, pp. 631--642. 1995.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC