{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,11]],"date-time":"2026-05-11T17:23:43Z","timestamp":1778520223357,"version":"3.51.4"},"reference-count":36,"publisher":"Elsevier BV","issue":"1-3","license":[{"start":{"date-parts":[[1996,10,1]],"date-time":"1996-10-01T00:00:00Z","timestamp":844128000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,19]],"date-time":"2013-07-19T00:00:00Z","timestamp":1374192000000},"content-version":"vor","delay-in-days":6135,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["The Journal of Logic Programming"],"published-print":{"date-parts":[[1996,10]]},"DOI":"10.1016\/s0743-1066(96)00068-4","type":"journal-article","created":{"date-parts":[[2003,4,30]],"date-time":"2003-04-30T21:37:28Z","timestamp":1051738648000},"page":"17-64","source":"Crossref","is-referenced-by-count":193,"title":["The execution algorithm of mercury, an efficient purely declarative logic programming language"],"prefix":"10.1016","volume":"29","author":[{"given":"Zoltan","family":"Somogyi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fergus","family":"Henderson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Conway","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0743-1066(96)00068-4_BIB1","series-title":"Warren's Abstract Machine: A Tutorial Reconstruction","author":"Ait-Kaci","year":"1991"},{"key":"10.1016\/S0743-1066(96)00068-4_BIB2","doi-asserted-by":"crossref","first-page":"807","DOI":"10.1002\/spe.4380180902","article-title":"Garbage Collection in an Uncooperative Environment","volume":"18","author":"Boehm","year":"1988","journal-title":"Software Practice and Experience"},{"key":"10.1016\/S0743-1066(96)00068-4_BIB3","article-title":"SICStus-Prolog User's Manual","author":"Carlsson","year":"1988"},{"key":"10.1016\/S0743-1066(96)00068-4_BIB4","series-title":"Proc. 12th Int. Conf. on Logic Programming","first-page":"317","article-title":"wamcc: Compiling Prolog to C","author":"Codognet","year":"1995"},{"key":"10.1016\/S0743-1066(96)00068-4_BIB5","series-title":"Proc. 3rd Int. Conf. on Logic Programming","first-page":"490","article-title":"Detection and Optimization of Functional Computations in Prolog","author":"Debray","year":"1986"},{"key":"10.1016\/S0743-1066(96)00068-4_BIB6","series-title":"Proc. 4th IEEE Symp. on Logic Programming","first-page":"389","article-title":"Do Logic Programs Resemble Programs in Conventional Languages?","author":"Drabent","year":"1987"},{"key":"10.1016\/S0743-1066(96)00068-4_BIB7","series-title":"Proc Int. Conf. and Symp. on Logic Programming","first-page":"399","article-title":"jc: An Efficient and Portable Sequential Implementation of Janus","author":"Gudeman","year":"1992"},{"key":"10.1016\/S0743-1066(96)00068-4_BIB8","series-title":"Proc. Workshop on Practical Implementations and Systems Experience in Logic Programming","first-page":"1","article-title":"Carpe Diem, Some Implementation Aspects of Turbo Erlang","author":"Hausman","year":"1993"},{"key":"10.1016\/S0743-1066(96)00068-4_BIB9","series-title":"Proc. 11th Int. Conf. on Logic Programming","first-page":"190","article-title":"Native Code Compilation in SICStus Prolog","author":"Haygood","year":"1994"},{"key":"10.1016\/S0743-1066(96)00068-4_BIB10","article-title":"The Mercury Language Reference Manual","author":"Henderson","year":"1996"},{"key":"10.1016\/S0743-1066(96)00068-4_BIB11","article-title":"Compiling Logic Programs to C Using GNU C as a Portable Assembler","author":"Henderson","year":"1996"},{"key":"10.1016\/S0743-1066(96)00068-4_BIB12","article-title":"Determinism Analysis in the Mercury Compiler","author":"Henderson","year":"1995"},{"key":"10.1016\/S0743-1066(96)00068-4_BIB13","article-title":"Strong Modes Can Change the World!","author":"Henderson","year":"1993"},{"key":"10.1016\/S0743-1066(96)00068-4_BIB14","series-title":"The G\u00f6del Programming Language","author":"Hill","year":"1994"},{"key":"10.1016\/S0743-1066(96)00068-4_BIB15","series-title":"Proc. 1st North American Conf. on Logic Programming","first-page":"981","article-title":"Propagating Constraints in Recursive Deductive Databases","author":"Kemp","year":"1989"},{"key":"10.1016\/S0743-1066(96)00068-4_BIB16","series-title":"Proc. 4th Int. Conf. on Logic Programming","first-page":"788","article-title":"Type Synthesis for Ground Prolog","author":"Kluzniak","year":"1987"},{"issue":"2","key":"10.1016\/S0743-1066(96)00068-4_BIB17","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1007\/BF03037396","article-title":"Declarative Error Diagnosis","volume":"5","author":"Lloyd","year":"1987","journal-title":"New Generation Computing"},{"key":"10.1016\/S0743-1066(96)00068-4_BIB18","series-title":"Proc. 6th Int. Conf. on Logic Programming","first-page":"33","article-title":"The Impact of Abstract Interpretations: An Experiment in Code Generation","author":"Marien","year":"1989"},{"key":"10.1016\/S0743-1066(96)00068-4_BIB19","series-title":"Conf. Rec. ACM Symp. on LISP and Functional Programming","first-page":"184","article-title":"A Proposal for Standard ML","author":"Milner","year":"1984"},{"key":"10.1016\/S0743-1066(96)00068-4_BIB20","series-title":"Proc. 7th Int. Conf. on Logic Programming","first-page":"747","article-title":"Analysis of Shared Data Structures for Compile-Time Garbage Collection in Logic Programs","author":"Mulkers","year":"1990"},{"key":"10.1016\/S0743-1066(96)00068-4_BIB21","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1016\/0004-3702(84)90017-1","article-title":"A Polymorphic Type System for Prolog","volume":"23","author":"Mycroft","year":"1984","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0743-1066(96)00068-4_BIB22","series-title":"Proc. 3rd Int. Conf. on Logic Programming","first-page":"203","article-title":"Rational Debugging in Logic Programming","author":"Pereira","year":"1986"},{"key":"10.1016\/S0743-1066(96)00068-4_BIB23","series-title":"Types in Logic Programming","year":"1992"},{"key":"10.1016\/S0743-1066(96)00068-4_BIB24","series-title":"Proc. 4th IEEE Symp. on Logic Programming","first-page":"215","article-title":"Notes on Transformation Techniques for Generate and Test Logic Programs","author":"Seki","year":"1987"},{"key":"10.1016\/S0743-1066(96)00068-4_BIB25","series-title":"Algorithm Program Debugging","author":"Shapiro","year":"1983"},{"key":"10.1016\/S0743-1066(96)00068-4_BIB26","series-title":"Conf. Rec. ACM Symp. on LISP and Functional Programming","first-page":"311","article-title":"Making Control and Data Flow in Logic Programs Explicit","author":"Smolka","year":"1984"},{"key":"10.1016\/S0743-1066(96)00068-4_BIB27","article-title":"A Parallel Logic Programming System Based on Strong and Precise Modes","author":"Somogyi","year":"1989"},{"key":"10.1016\/S0743-1066(96)00068-4_BIB28","series-title":"Proc. 4th Int. Conf. on Logic Programming","first-page":"769","article-title":"A System of Precise Modes for Logic Programs","author":"Somogyi","year":"1987"},{"key":"10.1016\/S0743-1066(96)00068-4_BIB29","series-title":"Proc. 7th Int. Conf. on Logic Programming","first-page":"174","article-title":"LIPS on a MIPS: Results from a Prolog Compiler for a RISC","author":"Taylor","year":"1990"},{"key":"10.1016\/S0743-1066(96)00068-4_BIB30","article-title":"High Performance Prolog Implementation","author":"Taylor","year":"1991"},{"key":"10.1016\/S0743-1066(96)00068-4_BIB31","article-title":"NU-Prolog Reference Manual","author":"Thom","year":"1986"},{"issue":"1","key":"10.1016\/S0743-1066(96)00068-4_BIB32","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1109\/2.108055","article-title":"High-Performance Logic Programming with the Aquarius Prolog Compiler","volume":"25","author":"Van Roy","year":"1992","journal-title":"IEEE Computer"},{"key":"10.1016\/S0743-1066(96)00068-4_BIB33","series-title":"Proc. IFIP TC2 Conf. on Programming Concepts and Methods","first-page":"547","article-title":"Linear Types Can Change the World!","author":"Wadler","year":"1990"},{"key":"10.1016\/S0743-1066(96)00068-4_BIB34","article-title":"An Abstract Prolog Instruction Set","author":"Warren","year":"1983"},{"key":"10.1016\/S0743-1066(96)00068-4_BIB35","article-title":"SWI-Prolog Reference Manual","author":"Wielemaker","year":"1993"},{"key":"10.1016\/S0743-1066(96)00068-4_BIB36","series-title":"Proc. 11th Int. Conf. on Logic Programming","first-page":"159","article-title":"On the Scheme of Passing Arguments in Stack Frames for Prolog","author":"Zhou","year":"1994"}],"container-title":["The Journal of Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0743106696000684?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0743106696000684?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,16]],"date-time":"2019-04-16T01:26:06Z","timestamp":1555377966000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0743106696000684"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,10]]},"references-count":36,"journal-issue":{"issue":"1-3","published-print":{"date-parts":[[1996,10]]}},"alternative-id":["S0743106696000684"],"URL":"https:\/\/doi.org\/10.1016\/s0743-1066(96)00068-4","relation":{},"ISSN":["0743-1066"],"issn-type":[{"value":"0743-1066","type":"print"}],"subject":[],"published":{"date-parts":[[1996,10]]}}}