{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:20:17Z","timestamp":1725456017926},"publisher-location":"Berlin\/Heidelberg","reference-count":9,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354053010X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0024179","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T09:49:34Z","timestamp":1132393774000},"page":"106-120","source":"Crossref","is-referenced-by-count":0,"title":["Implementing a meta-logical scheme"],"prefix":"10.1007","author":[{"given":"Pierre","family":"Lim","sequence":"first","affiliation":[]},{"given":"David","family":"Morley","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","first-page":"153","volume-title":"Logic Programming","author":"K. A. Bowen","year":"1982","unstructured":"K. A. Bowen and R. A. Kowalski, \u201cAmalgamating language and metalanguage in logic programming\u201d, in Logic Programming, K. L. Clark and S.-A. Tarnlund, editors, Academic Press, London, 1982, pp. 153\u2013172."},{"key":"8_CR2","unstructured":"S. Costantini and G. A. Lanzarone, \u201cA Metalogic Programming Language\u201d, Proceedings of 6 th International conference on Logic Programming, Lisbon, Portugal, June 1989, pp. 218\u2013233."},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"T. Hickey, \u201cCLP* and Constraint Abstraction\u201d, Procs. Logic in Computer Science, Chicago 1989.","DOI":"10.1145\/75277.75288"},{"key":"8_CR4","unstructured":"P. M. Hill and J. W. Lloyd, \u201cAnalysis of Meta-Programs\u201d, Proceedings of the Meta88 Workshop on Meta-Programming in Logic Programming, Bristol, June 1988, pp. 23\u201351."},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"J. Jaffar and J-L. Lassez, \u201cConstraint Logic Programming\u201d, Procs. POPL 87, Munich, January 1987.","DOI":"10.1145\/41625.41635"},{"key":"8_CR6","unstructured":"P. Lim and P. J. Stuckey, \u201cMeta-Programming as Constraint Programming\u201d, North American Conference on Logic Programming, Austin, October 1990."},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"J. W. Lloyd, Foundations of Logic Programming, Springer-Verlag, 1984.","DOI":"10.1007\/978-3-642-96826-6"},{"key":"8_CR8","volume-title":"The Art of Prolog","author":"L. Sterling","year":"1986","unstructured":"L. Sterling and E. Shapiro, \u201cThe Art of Prolog\u201d, MIT Press, U.S.A., 1986."},{"key":"8_CR9","unstructured":"J. A. Thom and J. Zobel (eds.), \u201cNU-Prolog Reference Manual\u201d, Dept. of Computer Science Technical Report 86\/10, University of Melbourne, May 1988."}],"container-title":["Lecture Notes in Computer Science","Programming Language Implementation and Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0024179.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T21:52:13Z","timestamp":1607550733000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0024179"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354053010X"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/bfb0024179","relation":{},"subject":[]}}