{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,16]],"date-time":"2026-06-16T23:07:05Z","timestamp":1781651225293,"version":"3.54.5"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540527534","type":"print"},{"value":"9783540471370","type":"electronic"}],"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\/3-540-52753-2_31","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T16:42:43Z","timestamp":1330188163000},"page":"36-64","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":28,"title":["A logical operational semantics of full Prolog"],"prefix":"10.1007","author":[{"given":"Egon","family":"B\u00f6rger","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"3_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":"3_CR2","doi-asserted-by":"crossref","first-page":"599","DOI":"10.1007\/BF00289713","volume":"21","author":"D. M. Berry","year":"1985","unstructured":"Berry, D. M. 1985: A denotational semantics for shared-memory parallelism and nondeterminism in: Acta Informatica 21, pp. 599\u2013627.","journal-title":"Acta Informatica"},{"key":"3_CR3","unstructured":"Blakley, R. 1990: Ph.D. Thesis, University of Michigan (in preparation)."},{"key":"3_CR4","first-page":"37","volume":"270","author":"E. B\u00f6rger","year":"1987","unstructured":"B\u00f6rger, E. 1987: Unsolvable Decision Problems for Prolog Programs, Springer LNCS 270, pp. 37\u201348.","journal-title":"Springer LNCS"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"B\u00f6rger, E. 1990: A Logical Operational Semantics of Full Prolog. Part II. Built-in Predicates for Database Manipulations (submitted).","DOI":"10.1007\/3-540-52753-2_31"},{"key":"3_CR6","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":"3_CR7","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":"3_CR8","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1016\/0743-1066(88)90007-6","volume":"5","author":"S. K. Debray","year":"1988","unstructured":"Debray, S. K. & Mishra, P. 1988: Denotational and Operational Semantics for Prolog. J. Logic Programming 5, pp. 61\u201391.","journal-title":"J. Logic Programming"},{"key":"3_CR9","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":"3_CR10","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":"3_CR11","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":"3_CR12","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":"3_CR13","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":"3_CR14","unstructured":"Hanus, M. & Sueggel, J. (1989): Eine formale Spezifikation der Warren-Maschine zur Ausf\u00fchrung \u00fcbersetzter Prolog-Programme. Projektgruppe PROCOM, University of Dortmund, October, 1989."},{"key":"3_CR15","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":"3_CR16","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":"3_CR17","unstructured":"Lloyd, J. 1989: Current Theoretical Issues in Logic Programming. Abstract. EATCS-Bulletin 39, p. 211."},{"key":"3_CR18","unstructured":"LPA 1988: Johns, N. & Spenser, C.: LPA Mac Prolog\u2122 2.5, Reference Manual. Logic Programming Associates, London."},{"key":"3_CR19","series-title":"NPL Report","first-page":"9","volume-title":"An Explanation of the Formal Definition of Prolog","author":"A. J. Mansfield","year":"1989","unstructured":"Mansfield, A. J. 1989: An Explanation of the Formal Definition of Prolog. NPL Report DITC 149\/89, October, 1989, National Physical Laboratory, Teddington, Middlesex, p. 9."},{"key":"3_CR20","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.)."},{"key":"3_CR21","unstructured":"Plotkin, G. 1981: A structural approach to operational semantics. Internal Report. CS Dept. Aarhus University, DAIMI FN-19, p. 172."},{"key":"3_CR22","volume-title":"Quintus Prolog Reference Manual, version 10, February, 1987","author":"Quintus","year":"1987","unstructured":"Quintus 1987: Quintus Prolog Reference Manual, version 10, February, 1987. Quintus Computer Systems, Mt. View, CA."},{"key":"3_CR23","doi-asserted-by":"crossref","unstructured":"VDL 1969: Lucas P. & Walk, K.: On the formal description of PL\/I in: Annual Review in Automatic Programming 6, No. 3.","DOI":"10.1016\/0066-4138(69)90005-6"},{"key":"3_CR24","unstructured":"VM 1985: VM\/Programming in Logic. Program Description and Operations Manual, IBM, 1st ed. July, 1985."},{"key":"3_CR25","unstructured":"Warren, D. H. D. 1983: An Abstract Prolog Instruction Set. SRI Techn. Note 309, October, 1983, p. 30."}],"container-title":["Lecture Notes in Computer Science","CSL '89"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-52753-2_31","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,8]],"date-time":"2020-01-08T21:06:44Z","timestamp":1578517604000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-52753-2_31"}},"subtitle":["Part I. Selection core and control"],"short-title":[],"issued":{"date-parts":[[1990]]},"ISBN":["9783540527534","9783540471370"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/3-540-52753-2_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1990]]},"assertion":[{"value":"8 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}