{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:11Z","timestamp":1761611171481},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540529538"},{"type":"electronic","value":"9783540471851"}],"license":[{"start":{"date-parts":[[1990,1,1]],"date-time":"1990-01-01T00:00:00Z","timestamp":631152000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1990]]},"DOI":"10.1007\/bfb0029592","type":"book-chapter","created":{"date-parts":[[2005,12,1]],"date-time":"2005-12-01T05:33:46Z","timestamp":1133415226000},"page":"1-14","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":17,"title":["A logical operational semantics of full Prolog"],"prefix":"10.1007","author":[{"given":"Egon","family":"B\u00f6rger","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,11]]},"reference":[{"key":"1_CR1","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1016\/0743-1066(87)90008-2","volume":"4","author":"B. Arbab","year":"1987","unstructured":"Arbab, B. & Berry, D. M. 1987: Operational and Denotational Semantics of Prolog. J. Logic Programming 4, pp. 309\u2013329.","journal-title":"J. Logic Programming"},{"key":"1_CR2","unstructured":"Blakley, R. 1990: Ph.D. Thesis, University of Michigan (in preparation)."},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"B\u00f6rger, E. 1990: A Logical Operational Semantics of Full Prolog. Part I. Selection Core and Control in: CSL'89. 3rd Workshop on Computer Science Logic.Springer LNCS 440","DOI":"10.1007\/3-540-52753-2_31"},{"key":"1_CR4","unstructured":"B\u00f6rger, E. 1990: A Logical Operational Semantics of Full Prolog. Part III. Built-in Predicates for Files, Terms, In-Output and Arithmetic. In: Proc. Workshop Logic for Computer Science, Berkeley, MSRI, November, 1989 (to appear with Springer Verlag, ed. Y. Moschovakis)."},{"key":"1_CR5","unstructured":"Deransart, P. & Ferrand, G. 1987: An operational formal definition of Prolog. INRIA RR763 (revised version of the abstract in Proc. 4th Symposium on Logic Programming, San Francisco 1987, pp. 162\u2013172)."},{"key":"1_CR6","unstructured":"DFPS 1989: Deransart, P., Folkjaer, P., Pique, J.-F., Scowen, R. S.: Prolog. Draft for Working Draft 2.0. ISO\/IEC YTC1 SC22 WG17 No. 40, pp. VI + 96."},{"key":"1_CR7","unstructured":"Gurevich, Y. 1988: Logic and the Challenge of Computer Science in: Trends in Theoretical Computer Science (E. B\u00f6rger, ed.), Computer Science Press, 1988, pp. 1\u201357."},{"key":"1_CR8","unstructured":"Gurevich, Y. 1988: Algorithms in the World of Bounded Resources. In: The Universal Turing Machine\u2014a Half-Century Story (Ed. R. Herken), Oxford University Press, pp. 407\u2013416."},{"key":"1_CR9","first-page":"81","volume":"329","author":"Y. Gurevich","year":"1988","unstructured":"Gurevich, Y. & Morris, J. M. 1988: Algebraic Operational Semantics and Modula-2 in: CSL'87. 1st Workshop on Computer Science Logic (Eds. E. B\u00f6rger, H. Kleine B\u00fcning, M. Richter), Springer LNCS 329, pp. 81\u2013101.","journal-title":"Springer LNCS"},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"Gurevich, Y. & Moss, L. S. 1990: Algebraic Operational Semantics and Occam in: CSL'89, 3rd Workshop on Computer Science Logic (Eds. E. B\u00f6rger, H. Kleine B\u00fcning, M. Richter), Springer LNCS.","DOI":"10.1007\/3-540-52753-2_39"},{"key":"1_CR11","unstructured":"Jones, N. D. & Mycroft, A. 1984: Stepwise Development of Operational and Denotational Semantics for Prolog in: Proc. Int. Symp. on Logic Programming 2\/84, Atlantic City, IEEE, pp. 289\u2013298."},{"key":"1_CR12","volume-title":"Implementation of Dynamic Algebras with an Application to Semantics for Prolog (tentative title)","author":"A. Kappel","year":"1990","unstructured":"Kappel, A. 1990: Implementation of Dynamic Algebras with an Application to Semantics for Prolog (tentative title). Diploma Thesis (ongoing project), University of Dortmund, Fed. Rep. of Germany."},{"key":"1_CR13","unstructured":"Lindholm, T.G. & O'Keefe R.A. 1987: Efficient Implementation of a Defensible Semantics for Dynamic Prolog Code Proceedings of the Fourth International Conference on Logic Programming, 21\u201339."},{"key":"1_CR14","unstructured":"North, N. 1988: A Denotational Definition of Prolog. NPL Report DITC 106\/88. National Physical Lab, Teddington, Middlesex (submitted to the Journal of Logic Programming. I have seen this manuscript in the form of November 16, 1989.)."}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1990"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0029592","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,9]],"date-time":"2020-01-09T04:36:49Z","timestamp":1578544609000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0029592"}},"subtitle":["Part II. Built-in predicates for database manipulations"],"short-title":[],"issued":{"date-parts":[[1990]]},"ISBN":["9783540529538","9783540471851"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/bfb0029592","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1990]]},"assertion":[{"value":"11 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}