{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,11]],"date-time":"2026-05-11T17:30:05Z","timestamp":1778520605789,"version":"3.51.4"},"reference-count":50,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[1995,6,1]],"date-time":"1995-06-01T00:00:00Z","timestamp":801964800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":6621,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Science of Computer Programming"],"published-print":{"date-parts":[[1995,6]]},"DOI":"10.1016\/0167-6423(95)00006-e","type":"journal-article","created":{"date-parts":[[2003,4,7]],"date-time":"2003-04-07T19:32:00Z","timestamp":1049743920000},"page":"249-286","source":"Crossref","is-referenced-by-count":51,"title":["A mathematical definition of full Prolog"],"prefix":"10.1016","volume":"24","author":[{"given":"Egon","family":"B\u00f6rger","sequence":"first","affiliation":[]},{"given":"Dean","family":"Rosenzweig","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0167-6423(95)00006-E_BIB1","series-title":"Warren's Abstract Machine. A Tutorial Reconstruction","author":"A\u00eft-Kaci","year":"1991"},{"key":"10.1016\/0167-6423(95)00006-E_BIB2","unstructured":"J.H. Andrews, The logical structure of sequential Prolog, University of Edinburgh, Department of Computer Science, Report ECS-LFCS-90-110, 1\u201337."},{"key":"10.1016\/0167-6423(95)00006-E_BIB3","first-page":"493","article-title":"Logic programing","volume":"Vol. B","author":"Apt","year":"1990"},{"key":"10.1016\/0167-6423(95)00006-E_BIB4","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1016\/0743-1066(87)90008-2","article-title":"Operational and denotational semantics of Prolog","volume":"4","author":"Arbab","year":"1987","journal-title":"J. Logic Programming"},{"key":"10.1016\/0167-6423(95)00006-E_BIB5","series-title":"Computer Science Logic","first-page":"15","article-title":"Correctness proof for the WAM with types","volume":"Vol. 626","author":"Beierle","year":"1992"},{"key":"10.1016\/0167-6423(95)00006-E_BIB6","series-title":"VDM '90. VDM and Z\u2014Formal Methods in Software Development","volume":"Vol. 428","author":"Bj\u00f8rner","year":"1990"},{"key":"10.1016\/0167-6423(95)00006-E_BIB7","series-title":"CSL '89, 3rd Workshop on Computer Science Logic","first-page":"36","article-title":"A logical operational semantics of full Prolog: Part 1. Selection core and control","volume":"Vol. 440","author":"B\u00f6rger","year":"1990"},{"key":"10.1016\/0167-6423(95)00006-E_BIB8","series-title":"Mathematical Foundations of Computer Science 1990","first-page":"1","article-title":"A logical operational semantics of full Prolog: Part 2. Built-in predicates for database manipulations","volume":"Vol. 452","author":"B\u00f6rger","year":"1990"},{"key":"10.1016\/0167-6423(95)00006-E_BIB9","series-title":"Logic from Computer Science","first-page":"17","article-title":"A logical operational semantics of full Prolog: Part 3. Built-in predicates for files, terms, arithmetic and input-output","volume":"Vol. 21","author":"B\u00f6rger","year":"1992"},{"key":"10.1016\/0167-6423(95)00006-E_BIB10","first-page":"410","article-title":"A model for mathematical analysis of functional logic programs and their implementations","volume":"Vol. 1","author":"B\u00f6rger","year":"1994"},{"key":"10.1016\/0167-6423(95)00006-E_BIB11","series-title":"Programming Language Implementation and Logic Programming","first-page":"147","article-title":"framework to specify database update views for Prolog","volume":"Vol. 528","author":"B\u00f6rger","year":"1991"},{"key":"10.1016\/0167-6423(95)00006-E_BIB12","series-title":"Proc. Procomet '94, IFIP TC2 Working Conf. on Programming Concepts","first-page":"489","article-title":"Occam: Specification and compiler correctness. Part I: The primary model","author":"B\u00f6rger","year":"1994"},{"key":"10.1016\/0167-6423(95)00006-E_BIB13","series-title":"Semantics of programming languages and model theory","article-title":"A formal specification of Parlog","author":"B\u00f6rger","year":"1993"},{"key":"10.1016\/0167-6423(95)00006-E_BIB14","article-title":"A mathematical model of concurrent Prolog","author":"B\u00f6rger","year":"1992"},{"key":"10.1016\/0167-6423(95)00006-E_BIB15","series-title":"Proc. 3rd Internat. Conf. on Information Technology Interfaces","first-page":"513","article-title":"A formal specification of Prolog by tree algebras","author":"B\u00f6rger","year":"1991"},{"key":"10.1016\/0167-6423(95)00006-E_BIB16_1","article-title":"An analysis of Prolog database views and their uniform implementation","author":"B\u00f6rger","year":"1991"},{"key":"10.1016\/0167-6423(95)00006-E_BIB16_2","first-page":"87","article-title":"Prolog, Paris Papers 2","author":"B\u00f6rger","year":"1991","journal-title":"ISO\/IEC JTC1 SC22 WG17 standardization report no. 80"},{"key":"10.1016\/0167-6423(95)00006-E_BIB17","series-title":"Logic Programming: Formal Methods and Practical Applications","first-page":"21","article-title":"The WAM\u2014Definition and compiler correctness","author":"B\u00f6rger","year":"1995"},{"key":"10.1016\/0167-6423(95)00006-E_BIB39","unstructured":"preliminary version appeared as Technical Report TR-14\/92, Dipartimento di Informatica, Universit\u00e0 di Pisa, 1992."},{"key":"10.1016\/0167-6423(95)00006-E_BIB18_1","series-title":"Proc. Kurt G\u00f6del Symposium '93","first-page":"1","article-title":"The mathematics of set predicates in Prolog","volume":"Vol. 713","author":"B\u00f6rger","year":"1993"},{"key":"10.1016\/0167-6423(95)00006-E_BIB18_2","first-page":"33","article-title":"Prolog, Copenhagen Papers 2","author":"B\u00f6rger","year":"1993","journal-title":"ISO\/IEC JTC1 SC22 WG17 standardization report no. 106"},{"key":"10.1016\/0167-6423(95)00006-E_BIB19","series-title":"Specification and Validation Methods","first-page":"97","article-title":"CLAM specification for provably correct compilation of CLP(R) programs","author":"B\u00f6rger","year":"1995"},{"key":"10.1016\/0167-6423(95)00006-E_BIB20","series-title":"Computer Science Logic","first-page":"67","article-title":"A formal operational semantics for languages of type Prolog III","volume":"Vol. 533","author":"B\u00f6rger","year":"1991"},{"key":"10.1016\/0167-6423(95)00006-E_BIB21","first-page":"61","article-title":"Denotational and operational semantics for Prolog","volume":"5","author":"Debray","year":"1988"},{"key":"10.1016\/0167-6423(95)00006-E_BIB22","series-title":"Theory and Practice of Software Engineering","first-page":"178","article-title":"Continuation semantics for Prolog with cut","volume":"Vol. 351","author":"de Bruin","year":"1989"},{"key":"10.1016\/0167-6423(95)00006-E_BIB23","series-title":"Mathematical Foundations of Computer Science 1990","first-page":"186","article-title":"Retractions in comparing Prolog semantics","volume":"Vol. 452","author":"de Bruin","year":"1990"},{"key":"10.1016\/0167-6423(95)00006-E_BIB24","series-title":"On the implementation of catch and throw in WAM. Department of Computer Science","author":"Demoen","year":"1989"},{"issue":"2","key":"10.1016\/0167-6423(95)00006-E_BIB25","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1007\/BF03037477","article-title":"An operational formal definition of Prolog: A specification method and its application","volume":"10","author":"Deransart","year":"1992","journal-title":"New Generation Comput."},{"key":"10.1016\/0167-6423(95)00006-E_BIB26","series-title":"Computer Science Logic, Selected Papers from CSL '92","article-title":"Communicating evolving algebras","volume":"Vol. 702","author":"Glavan","year":"1993"},{"key":"10.1016\/0167-6423(95)00006-E_BIB27","series-title":"Trends in Theoretical Computer Science","first-page":"1","article-title":"Logic and the challenge of computer science","author":"Gurevich","year":"1988"},{"key":"10.1016\/0167-6423(95)00006-E_BIB28","first-page":"264","article-title":"Evolving algebras. A tutorial introduction","volume":"43","author":"Gurevich","year":"1991","journal-title":"Bull. EATCS"},{"key":"10.1016\/0167-6423(95)00006-E_BIB29","series-title":"VDM '90. VDM and Z\u2014Formal Methods in Software Development","volume":"Vol. 428","author":"Hoare","year":"1990"},{"key":"10.1016\/0167-6423(95)00006-E_BIB30","series-title":"Proc. Internat. Symp. on Logic Programming 2\/84","first-page":"289","article-title":"Stepwise development of operational and denotational semantics for Prolog","author":"Jones","year":"1984"},{"key":"10.1016\/0167-6423(95)00006-E_BIB31","series-title":"Stepwise refinement of distributed systems. Models, formalisms, correctness","first-page":"401","article-title":"Specialization in logic programming: from Horn clause logic to Prolog and Concurrent Prolog","volume":"Vol. 430","author":"Kok","year":"1990"},{"key":"10.1016\/0167-6423(95)00006-E_BIB32","series-title":"Proc. 4th Internat. Conf. on Logic Programming","first-page":"21","article-title":"Efficient implementation of a defensible semantics for dynamic Prolog code","author":"Lindholm","year":"1987"},{"key":"10.1016\/0167-6423(95)00006-E_BIB33","series-title":"Foundations of Logic Programming","author":"Lloyd","year":"1987"},{"key":"10.1016\/0167-6423(95)00006-E_BIB34","first-page":"211","article-title":"Current theoretical issues in logic programming, Abstract","volume":"39","author":"Lloyd","year":"1989","journal-title":"Bull. EATCS"},{"key":"10.1016\/0167-6423(95)00006-E_BIB35","series-title":"3rd Internat. Conf. on Logic Programming","first-page":"327","article-title":"On the semantics of logic programing languages","volume":"Vol. 225","author":"Martelli","year":"1986"},{"key":"10.1016\/0167-6423(95)00006-E_BIB36","unstructured":"B. M\u00fcller, A semantics for hybrid object-oriented Prolog systems, in: B. Pehrson and I. Simon, eds., Proc. 13th World Computer Congress '94, Vol. 1 (North-Holland, Amsterdam, 194) 428\u2013433."},{"key":"10.1016\/0167-6423(95)00006-E_BIB37","doi-asserted-by":"crossref","first-page":"650","DOI":"10.1145\/69558.69564","article-title":"A denotational semantics for Prolog","volume":"11","author":"Nicholson","year":"1989","journal-title":"ACM Trans. Programming Lang. Systems"},{"key":"10.1016\/0167-6423(95)00006-E_BIB38","unstructured":"N. North, A denotational definition of Prolog, National Physics Laboratory, Teddington, Report DITC 106\/88."},{"key":"10.1016\/0167-6423(95)00006-E_BIB439","unstructured":"R. O'Keefe, A formal definition of Prolog, University of Auckland, BSI PS\/22."},{"key":"10.1016\/0167-6423(95)00006-E_BIB40","unstructured":"G. Plotkin, A structural approach to operational semantics, Internal Report, CS Department, Aarhus University, DAIMI FN-19."},{"key":"10.1016\/0167-6423(95)00006-E_BIB41","year":"1987"},{"key":"10.1016\/0167-6423(95)00006-E_BIB42","unstructured":"B.J. Ross and P.F. Wilkie, An algebraic semantics of sequential Prolog control, Department of AI, University of Edinburgh, DAI Research Paper 469."},{"key":"10.1016\/0167-6423(95)00006-E_BIB43","first-page":"1","article-title":"Outline of a mathematical theory of computation","author":"Scott","year":"1970"},{"key":"10.1016\/0167-6423(95)00006-E_BIB44","first-page":"1","article-title":"Toward a Mathematical Semantics for Computer Languages","author":"Scott","year":"1971"},{"key":"10.1016\/0167-6423(95)00006-E_BIB45","author":"Warren","year":"1983"},{"key":"10.1016\/0167-6423(95)00006-E_BIB46","first-page":"675","article-title":"Algebraic specification","volume":"Vol. B","author":"Wirsing","year":"1990"},{"key":"10.1016\/0167-6423(95)00006-E_BIB47","year":"1992","journal-title":"PROLOG. Part 1, General Core, Committee Draft 1.0, ISO\/IEC JTC1 SC22 WG17 N.92"}],"container-title":["Science of Computer Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:016764239500006E?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:016764239500006E?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,17]],"date-time":"2019-04-17T03:54:47Z","timestamp":1555473287000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/016764239500006E"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,6]]},"references-count":50,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1995,6]]}},"alternative-id":["016764239500006E"],"URL":"https:\/\/doi.org\/10.1016\/0167-6423(95)00006-e","relation":{},"ISSN":["0167-6423"],"issn-type":[{"value":"0167-6423","type":"print"}],"subject":[],"published":{"date-parts":[[1995,6]]}}}