{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:18:46Z","timestamp":1725455926393},"publisher-location":"Berlin\/Heidelberg","reference-count":10,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354055873X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0013820","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T07:24:11Z","timestamp":1132730651000},"page":"69-83","source":"Crossref","is-referenced-by-count":1,"title":["A theory of first-order built-in's of prolog"],"prefix":"10.1007","author":[{"given":"Krzysztof R.","family":"Apt","sequence":"first","affiliation":[]},{"given":"Elena","family":"Marchiori","sequence":"additional","affiliation":[]},{"given":"Catuscia","family":"Palamidessi","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","first-page":"265","volume-title":"Lecture Notes in Computer Science 526","author":"K. R. Apt","year":"1991","unstructured":"K. R. Apt and D. Pedreschi. Proving termination of general Prolog programs. In T. Ito and A. Meyer, editors, Proceeding of the International Conference on Theoretical Aspects of Computer Software, Lecture Notes in Computer Science 526, pages 265\u2013289, Berlin, 1991. Springer-Verlag."},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"K. R. Apt. Logic programming. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, pages 493\u2013574. Elsevier, 1990. Vol. B.","DOI":"10.1016\/B978-0-444-88074-1.50015-9"},{"key":"6_CR3","unstructured":"E. B\u00f6rger. A logical operational semantics of full Prolog, Part III: Built-in predicates for files, terms, arithmetic and input-output. In Y.Moschovakis, editor, Proceedings Workshop on Logic from Computer Science, Springer MSRI Publications, 1989."},{"key":"6_CR4","unstructured":"K.L. Clark. Predicate logic as a computational formalism. Res. Report DOC 79\/59, ico, London, 1979."},{"key":"6_CR5","unstructured":"P. Deransart and G. Ferrand. Aa operational formal definition of Prolog. In Proceedings of the 4th Symposium on Logic Programming, pages 162\u2013172. Computer Society Press, 1987."},{"key":"6_CR6","unstructured":"P.M. Hill and J.W. Lloyd. Analysis of meta-programs. In H.D. Abramson and M.H. Rogers, editors, Proceedings of the Meta88 Workshop, pages 23\u201352. MIT Press, 1988."},{"key":"6_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J. W. Lloyd","year":"1987","unstructured":"J. W. Lloyd. Foundations of Logic Programming. Springer-Verlag, Berlin, second edition, 1987.","edition":"second edition"},{"key":"6_CR8","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1016\/0304-3975(89)90070-4","volume":"69","author":"M. Martelli","year":"1989","unstructured":"M. Martelli M.Falaschi, G. Levi and C. Palamidessi. Declarative modeling of the operational behaviour of logic languages. Theoretical Computer Science, 69:289\u2013318, 1989.","journal-title":"Theoretical Computer Science"},{"key":"6_CR9","unstructured":"L. Sterling and E. Shapiro. The Art of Prolog. MIT Press, 1986."},{"key":"6_CR10","doi-asserted-by":"crossref","first-page":"733","DOI":"10.1145\/321978.321991","volume":"23","author":"M.H. Emden van","year":"1976","unstructured":"M.H. van Emden and R.A. Kowalski. The semantics of predicate logic as a programming language. Journal of the ACM, 23:733\u2013742, 1976.","journal-title":"Journal of the ACM"}],"container-title":["Lecture Notes in Computer Science","Algebraic and Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0013820.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,7]],"date-time":"2020-12-07T15:08:10Z","timestamp":1607353690000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0013820"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354055873X"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/bfb0013820","relation":{},"subject":[]}}