{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T14:45:47Z","timestamp":1725893147418},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642322105"},{"type":"electronic","value":"9783642322112"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-32211-2_11","type":"book-chapter","created":{"date-parts":[[2012,7,21]],"date-time":"2012-07-21T00:27:23Z","timestamp":1342830443000},"page":"155-172","source":"Crossref","is-referenced-by-count":0,"title":["Meta-predicate Semantics"],"prefix":"10.1007","author":[{"given":"Paulo","family":"Moura","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","unstructured":"Moura, P.: Logtalk \u2013 Design of an Object-Oriented Logic Programming Language. PhD thesis, Department of Computer Science, University of Beira Interior, Portugal (September 2003)"},{"key":"11_CR2","unstructured":"Moura, P.: Logtalk 2.43.2 User and Reference Manuals (October 2011)"},{"key":"11_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/978-3-540-92995-6_19","volume-title":"Practical Aspects of Declarative Languages","author":"P. Moura","year":"2009","unstructured":"Moura, P.: Secure Implementation of Meta-predicates. In: Gill, A., Swift, T. (eds.) PADL 2009. LNCS, vol.\u00a05418, pp. 269\u2013283. Springer, Heidelberg (2009)"},{"key":"11_CR4","unstructured":"ISO\/IEC: International Standard ISO\/IEC 13211-2 Information Technology \u2014 Programming Languages \u2014 Prolog \u2014 Part II: Modules. ISO\/IEC (2000)"},{"key":"11_CR5","unstructured":"O\u2019Keefe, R.: An Elementary Prolog Library, \n                  \n                    http:\/\/www.cs.otago.ac.nz\/staffpriv\/ok\/pllib.html"},{"key":"11_CR6","unstructured":"Swedish Institute for Computer Science: Quintus Prolog User\u2019s Manual (Release 3.5). Swedish Institute for Computer Science (December 2003)"},{"key":"11_CR7","unstructured":"Moura, P. (ed.): ISO\/IEC DTR 13211\u20135:2007 Prolog Multi-threading predicates, \n                  \n                    http:\/\/logtalk.org\/plstd\/threads.pdf"},{"key":"11_CR8","unstructured":"ISO\/IEC: International Standard ISO\/IEC 13211-1 Information Technology \u2014 Programming Languages \u2014 Prolog \u2014 Part I: General core. ISO\/IEC (1995)"},{"key":"11_CR9","unstructured":"Bueno, F., Cabeza, D., Carro, M., Hermenegildo, M.V., L\u00f3pez, P., Puebla, G.: Ciao Prolog System Manual"},{"key":"11_CR10","unstructured":"Cheadle, A.M., Harvey, W., Sadler, A.J., Schimpf, J., Shen, K., Wallace, M.G.: ECLiPSe: A tutorial introduction. Technical Report IC-Parc-03-1, IC-Parc, Imperial College, London (2003)"},{"key":"11_CR11","unstructured":"Wielemaker, J.: An overview of the SWI-Prolog programming environment. In: Mesnard, F., Serebenik, A. (eds.) Proceedings of the 13th International Workshop on Logic Programming Environments, Heverlee, Belgium, pp. 1\u201316. Katholieke Universiteit Leuven (December 2003); CW 371"},{"key":"11_CR12","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1007\/3-540-44957-4_9","volume-title":"Computational Logic - CL 2000","author":"D. Cabeza","year":"2000","unstructured":"Cabeza, D., Hermenegildo, M.V.: A New Module System for Prolog. In: Palamidessi, C., Moniz Pereira, L., Lloyd, J.W., Dahl, V., Furbach, U., Kerber, M., Lau, K.-K., Sagiv, Y., Stuckey, P.J. (eds.) CL 2000. LNCS (LNAI), vol.\u00a01861, pp. 131\u2013148. Springer, Heidelberg (2000)"},{"key":"11_CR13","unstructured":"Nadathur, G., Miller, D.: An Overview of \u03bbProlog. In: Fifth International Logic Programming Conference, Seattle, pp. 810\u2013827. MIT Press (August 1988)"},{"key":"11_CR14","unstructured":"Neumerkel, U.: Lambdas in ISO Prolog, \n                  \n                    http:\/\/www.complang.tuwien.ac.at\/ulrich\/Prolog-inedit\/ISO-Hiord"},{"key":"11_CR15","unstructured":"Group, T.X.R.: The XSB Programmer\u2019s Manual: version 3.3 (April 2011)"},{"key":"11_CR16","unstructured":"Yang, G., Kifer, M.: Flora-2: User\u2019s manual (2001)"}],"container-title":["Lecture Notes in Computer Science","Logic-Based Program Synthesis and Transformation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-32211-2_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T11:57:25Z","timestamp":1620129445000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-32211-2_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642322105","9783642322112"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-32211-2_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}