Apt, Krzysztof R.; Marchiori, Elena; Palamidessi, Catuscia A declarative approach for first-order built-in’s of Prolog. (English) Zbl 0815.68035 Appl. Algebra Eng. Commun. Comput. 5, No. 3-4, 159-191 (1994). Reviewer: N.Zamov (Kazan’) MSC: 68N17 PDFBibTeX XMLCite \textit{K. R. Apt} et al., Appl. Algebra Eng. Commun. Comput. 5, No. 3--4, 159--191 (1994; Zbl 0815.68035) Full Text: DOI
Apt, Krzysztof R.; Pedreschi, Dino Proving termination of general Prolog programs. (English) Zbl 1494.68038 Ito, Takayasu (ed.) et al., Theoretical aspects of computer software. International conference TACS ’91, Sendai, Japan, September 24–27, 1991. Proceedings. Berlin etc.: Springer-Verlag. Lect. Notes Comput. Sci. 526, 265-289 (1991). MSC: 68N17 PDFBibTeX XMLCite \textit{K. R. Apt} and \textit{D. Pedreschi}, Lect. Notes Comput. Sci. 526, 265--289 (1991; Zbl 1494.68038) Full Text: DOI Link