{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T20:20:48Z","timestamp":1648671648042},"reference-count":44,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[1998,3,1]],"date-time":"1998-03-01T00:00:00Z","timestamp":888710400000},"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":5619,"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":[[1998,3]]},"DOI":"10.1016\/s0743-1066(97)00075-7","type":"journal-article","created":{"date-parts":[[2003,4,23]],"date-time":"2003-04-23T23:53:40Z","timestamp":1051142020000},"page":"169-199","source":"Crossref","is-referenced-by-count":1,"title":["Abstract metaprolog engine"],"prefix":"10.1016","volume":"34","author":[{"given":"Ilyas","family":"Cicekli","sequence":"first","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0743-1066(97)00075-7_BIB1","series-title":"Warren's Abstract Machine: A Tutorial Reconstruction","author":"A\u00eft-Kaci","year":"1991"},{"key":"10.1016\/S0743-1066(97)00075-7_BIB2","year":"1988","journal-title":"ALS Prolog Reference Manual"},{"key":"10.1016\/S0743-1066(97)00075-7_BIB3","series-title":"Proc. 6th ECAI","article-title":"Metalanguage and Reasoning across Viewpoints","author":"Attardi","year":"1984"},{"key":"10.1016\/S0743-1066(97)00075-7_BIB4","series-title":"Proc. 4th Int. Conf. Logic Programming","first-page":"394","article-title":"Meta-Level Programming: A Compiled Approach","author":"Bacha","year":"1987"},{"key":"10.1016\/S0743-1066(97)00075-7_BIB5","series-title":"Proc. 5th Int. Conf. Symp. Logic Programming","first-page":"1371","article-title":"MetaProlog Design and Implementation","author":"Bacha","year":"1988"},{"key":"10.1016\/S0743-1066(97)00075-7_BIB6","series-title":"Logic Programming","first-page":"153","article-title":"Amalgamating Language and Metalanguage in Logic Programming","author":"Bowen","year":"1982"},{"key":"10.1016\/S0743-1066(97)00075-7_BIB7","series-title":"Proc. 1985 Symp. Logic Programming","first-page":"48","article-title":"A Meta-Level Extension of Prolog","author":"Bowen","year":"1985"},{"key":"10.1016\/S0743-1066(97)00075-7_BIB8","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1007\/BF03037077","article-title":"A Meta-Level Programming and Knowledge Representation","volume":"3","author":"Bowen","year":"1985","journal-title":"New Generation Comput."},{"key":"10.1016\/S0743-1066(97)00075-7_BIB9","doi-asserted-by":"crossref","first-page":"650","DOI":"10.1007\/3-540-16492-8_114","article-title":"A Fast Incremental Portable Prolog Compiler","volume":"225","author":"Bowen","year":"1986","journal-title":"Lecture Notes Comput. Sci."},{"key":"10.1016\/S0743-1066(97)00075-7_BIB10","series-title":"PROLOG Programming for Artificial Intelligence","author":"Bratko","year":"1990"},{"key":"10.1016\/S0743-1066(97)00075-7_BIB11","series-title":"Meta-Programming in Logic Programming","first-page":"169","article-title":"Negation as Failure: Proofs, Inference Rules and Meta-Interpreters","author":"Bruffaerts","year":"1989"},{"key":"10.1016\/S0743-1066(97)00075-7_BIB12","doi-asserted-by":"crossref","first-page":"443","DOI":"10.1016\/0743-1066(94)90032-9","article-title":"Modularity in Logic Programming","volume":"19\/20","author":"Bugliesi","year":"1994","journal-title":"J. Logic Programming"},{"key":"10.1016\/S0743-1066(97)00075-7_BIB13","article-title":"A Garbage Collector for the MetaProlog System (or: Collecting All the Garbage in Prolog Systems)","author":"Cicekli","year":"1988","journal-title":"Logic Programming Research Group Technical Report LPRG-TR-88-2"},{"key":"10.1016\/S0743-1066(97)00075-7_BIB14","series-title":"Meta-Programming in Logic Programming","first-page":"417","article-title":"Design and Implementation of an Abstract MetaProlog Engine for MetaProlog","author":"Cicekli","year":"1989"},{"key":"10.1016\/S0743-1066(97)00075-7_BIB15","article-title":"Design and Implementation of an Abstract MetaProlog Engine for MetaProlog","author":"Cicekli","year":"1991"},{"key":"10.1016\/S0743-1066(97)00075-7_BIB16","series-title":"Programming in Prolog","author":"Clocksin","year":"1984"},{"key":"10.1016\/S0743-1066(97)00075-7_BIB17","series-title":"Proc. Int. Conf. Fifth Generation Comput. Syst.","article-title":"Metacontrol of Logic Programs in METALOG","author":"Dincbas","year":"1984"},{"key":"10.1016\/S0743-1066(97)00075-7_BIB18","series-title":"Proc. 1st Int. Conf. Logic Programming","article-title":"Applications of Meta-Language Programming to Fault Finding in Logic Circuits","author":"Eshghi","year":"1982"},{"key":"10.1016\/S0743-1066(97)00075-7_BIB19","article-title":"MetaLanguage in Logic Programming","author":"Eshghi","year":"1986"},{"key":"10.1016\/S0743-1066(97)00075-7_BIB20","series-title":"Proc. Logic Programming Workshop","article-title":"A Control Metalanguage for Logic Programming","author":"Gallaire","year":"1980"},{"key":"10.1016\/S0743-1066(97)00075-7_BIB21","series-title":"Proc. 1991 Int. Symp. Logic Programming","first-page":"239","article-title":"A Modal Reconstruction of Blocks and Modules in Logic Programming","author":"Giordano","year":"1991"},{"key":"10.1016\/S0743-1066(97)00075-7_BIB22","series-title":"Proc. 6th Int. Conf. Logic Programming","first-page":"303","article-title":"The Design of an Abstract Machine for Efficient Implementation of Contexts in Logic Programming","author":"Lamma","year":"1989"},{"key":"10.1016\/S0743-1066(97)00075-7_BIB23","doi-asserted-by":"crossref","first-page":"603","DOI":"10.1002\/spe.4380210605","article-title":"Reflection Mechanisms for Combining Prolog Databases","volume":"21","author":"Lamma","year":"1991","journal-title":"Software Practice Experience"},{"key":"10.1016\/S0743-1066(97)00075-7_BIB24","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1016\/0743-1066(92)90011-Q","article-title":"An Extended Warren Abstract Machine for the Execution of Structured Logic Programs","volume":"14","author":"Lamma","year":"1992","journal-title":"J. Logic Programming"},{"key":"10.1016\/S0743-1066(97)00075-7_BIB25","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1007\/BF03037943","article-title":"Extending Prolog with Modularity, Concurrency and MetaRules","volume":"10","author":"Mello","year":"1992","journal-title":"New Generation Comput."},{"key":"10.1016\/S0743-1066(97)00075-7_BIB26","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1016\/0743-1066(89)90031-9","article-title":"A Logical Analysis of Modules in Logic Programming","volume":"6","author":"Miller","year":"1989","journal-title":"J. Logic Programming"},{"key":"10.1016\/S0743-1066(97)00075-7_BIB27","series-title":"Proc. 6th Int. Conf. Logic Programming","first-page":"284","article-title":"Contextual Logic Programming","author":"Montiero","year":"1989"},{"key":"10.1016\/S0743-1066(97)00075-7_BIB28","series-title":"Proc. 1984 Int. Symp. Logic Programming","first-page":"118","article-title":"A Knowledge Assimilation Method for Logic Databases","author":"Miyachi","year":"1984"},{"key":"10.1016\/S0743-1066(97)00075-7_BIB29","series-title":"Proc. 1984 Int. Symp. Logic Programming","first-page":"126","article-title":"Knowledge Representation in Prolog\/KR","author":"Nakashima","year":"1984"},{"key":"10.1016\/S0743-1066(97)00075-7_BIB30","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1016\/0743-1066(95)00037-K","article-title":"Scoping Constructs in Logic Programming: Implementation Problems and Their Solution","volume":"25","author":"Nadathur","year":"1995","journal-title":"J. Logic Programming"},{"key":"10.1016\/S0743-1066(97)00075-7_BIB31","year":"1985","journal-title":"Quintus Prolog Reference Manual, Quintus Computer Systems"},{"key":"10.1016\/S0743-1066(97)00075-7_BIB32","series-title":"Proc. Workshop on Meta-Level Architectures and Reflection","article-title":"Meta-Level Facilities in Logic-Based Computational Systems","author":"des Rivieres","year":"1986"},{"key":"10.1016\/S0743-1066(97)00075-7_BIB33","article-title":"A Prolog Compiler for the PLM","author":"Roy","year":"1984"},{"key":"10.1016\/S0743-1066(97)00075-7_BIB34","article-title":"The Complete Guide to MRS","author":"Russell","year":"1985","journal-title":"Knowledge Systems Laboratory Report KSL-85-12"},{"key":"10.1016\/S0743-1066(97)00075-7_BIB35","first-page":"166","article-title":"Meta-Interpreters for Real","volume":"Vol. 2","author":"Safra","year":"1987"},{"key":"10.1016\/S0743-1066(97)00075-7_BIB36","series-title":"The Art of Prolog","author":"Sterling","year":"1986"},{"key":"10.1016\/S0743-1066(97)00075-7_BIB37","series-title":"Proc. Workshop Deductive Databases Logic Programming","first-page":"163","article-title":"Meta-Interpreters: The Flavors of Logic Programming?","author":"Sterling","year":"1986"},{"key":"10.1016\/S0743-1066(97)00075-7_BIB38","series-title":"Proc. 3rd Symp. Logic Programming","first-page":"20","article-title":"Incremental Flavor-Mixing of Meta-Interpreters for Expert System Construction","author":"Sterling","year":"1986"},{"key":"10.1016\/S0743-1066(97)00075-7_BIB39","series-title":"Proc. 5th Int. Conf. Symp. Logic Programming","first-page":"386","article-title":"Composing Prolog Meta Interpreters","author":"Sterling","year":"1988"},{"key":"10.1016\/S0743-1066(97)00075-7_BIB40","series-title":"Meta-Level Architectures and Reflection","article-title":"A Meta-Level Architecture for Expert System","author":"Sterling","year":"1988"},{"key":"10.1016\/S0743-1066(97)00075-7_BIB41","article-title":"An Abstract Prolog Instruction Set","author":"Warren","year":"1983","journal-title":"SRI Technical Report 309"},{"key":"10.1016\/S0743-1066(97)00075-7_BIB42","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1016\/0004-3702(80)90015-6","article-title":"Prolegomena to a Theory of Mechanized Formal Reasoning","volume":"13","author":"Weyhrauch","year":"1980","journal-title":"Artif. Intell."},{"key":"10.1016\/S0743-1066(97)00075-7_BIB43","series-title":"Proc. 6th Conf. Automated Deduction","article-title":"An Example of FOL Using Metatheory","author":"Weyhrauch","year":"1982"},{"key":"10.1016\/S0743-1066(97)00075-7_BIB44","series-title":"Meta-Programming in Logic Programming","first-page":"191","article-title":"An Integrated Interpreter for Explaining Prolog's Successes and Failures","author":"Yalcinalp","year":"1989"}],"container-title":["The Journal of Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0743106697000757?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0743106697000757?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,16]],"date-time":"2019-04-16T14:22:39Z","timestamp":1555424559000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0743106697000757"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,3]]},"references-count":44,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1998,3]]}},"alternative-id":["S0743106697000757"],"URL":"https:\/\/doi.org\/10.1016\/s0743-1066(97)00075-7","relation":{},"ISSN":["0743-1066"],"issn-type":[{"value":"0743-1066","type":"print"}],"subject":[],"published":{"date-parts":[[1998,3]]}}}