@inproceedings{9ac6b4b32a3d41a3addc7a338ac9dfc6,
title = "A theory of first-order built-in{\textquoteright}s of prolog",
abstract = "We provide here a framework for studying Prolog programs with various built-in{\textquoteright}s that include arithmetic operations, and such metalogical relations like vat and ground. To this end we propose a new, declarative semantics and prove completeness of the Prolog computation mechanism w.r.t, this semantics. Finally, we provide a method for proving termination of Prolog programs with built-in{\textquoteright}s which uses this semantics. The method is shown to be modular.",
author = "Apt, \{Krzysztof R.\} and Elena Marchiori and Catuscia Palamidessi",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1992.; 3rd International Conference on Algebraic and Logic Programming, 1992 ; Conference date: 02-09-1992 Through 04-09-1992",
year = "1992",
month = jan,
day = "1",
doi = "10.1007/bfb0013820",
language = "English",
isbn = "9783540558736",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "69--83",
editor = "Helene Kirchner and Giorgio Levi",
booktitle = "Algebraic and Logic Programming - 3rd International Conference, Proceedings",
}