{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T14:08:01Z","timestamp":1725890881992},"publisher-location":"London","reference-count":20,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540198062"},{"type":"electronic","value":"9781447135609"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/978-1-4471-3560-9_14","type":"book-chapter","created":{"date-parts":[[2012,12,30]],"date-time":"2012-12-30T06:49:46Z","timestamp":1356850186000},"page":"199-213","source":"Crossref","is-referenced-by-count":4,"title":["An Unfold Rule for Full Prolog"],"prefix":"10.1007","author":[{"given":"Steven","family":"Prestwich","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","unstructured":"M.Bugliesi, F.Russo, Partial Evaluation in Prolog: Some Improvements About Cut, Proceedings of the North American Conference on Logic Programming, 1989, pp. 645\u2013660."},{"key":"14_CR2","first-page":"2","volume-title":"Towards Banishing the Cut from Prolog Proceedings of the International Conference on Computer Languages","author":"SK Debray","year":"1986","unstructured":"S.K.Debray, Towards Banishing the Cut from Prolog, Proceedings of the International Conference on Computer Languages, Miami, October 1986, pp. 2\u201312."},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"S.K.Debray, D.S.Warren, Detection and Optimization of Functional Computations in Prolog, Proceedings of the International Conference on Logic Programming, 1986, pp. 490\u2013504.","DOI":"10.1007\/3-540-16492-8_97"},{"key":"14_CR4","unstructured":"J.Gallagher, M.Bruynooghe, Some Low-Level Source Transformations for Logic Programs, Proceedings of META y 90 pp. 229\u2013244."},{"issue":"1","key":"14_CR5","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1093\/logcom\/1.1.99","volume":"1","author":"PM Hill","year":"1990","unstructured":"P.M.Hill, J.W.Lloyd. J.C.Shepherdson, Properties of a Pruning Operator, Journal of Logic and Computation 1 (1), 1990, pp. 99\u2013143.","journal-title":"Journal of Logic and Computation"},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"A.Lakhotia, L.Sterling, ProMiX: a Prolog Partial Evaluation System, The Practice of Prolog, ed. L.Sterling, MIT Press 1991.","DOI":"10.7551\/mitpress\/5510.001.0001"},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"G.Levi, G.Sardu, Partial Evaluation of Metaprograms in a \u2018Multiple Worlds\u201c Logic Language, New Generation Computing 6, 1988, OHSMHA LTD. and Springer-Verlag, pp.227\u2013247.","DOI":"10.1007\/BF03037139"},{"key":"14_CR8","unstructured":"M.Meier et al, SEPIA \u2014 An Extendible Prolog System, Proceedings of the 11th World Computer Congress IFIP\u201989, San Francisco, August 1989, pp. 1127\u20131132."},{"key":"14_CR9","unstructured":"R.O\u2019Keefe, On the Treatment of Cuts in Prolog Source-Level Tools, Proceedings of the Symposium on Logic Programming, IEEE 1985, pp. 68\u201372."},{"key":"14_CR10","volume-title":"Mit Press","author":"R O\u2019keefe","year":"1990","unstructured":"R.O\u2019Keefe, The Craft of Prolog, MIT Press 1990."},{"key":"14_CR11","unstructured":"S.Owen, Issues in the Partial Evaluation of Meta-Interpreters, Proceedings of the Workshop on Meta-Programming in Logic Programming, 1988, pp. 241\u2013254."},{"key":"14_CR12","unstructured":"S.D.Prestwich, The PADDY Partial Deduction System, Technical Report ECRC-92\u20136."},{"key":"14_CR13","doi-asserted-by":"crossref","unstructured":"M.Proietti, A.Pettorossi, Unfolding-Definition-Folding, in this Order, for Avoiding Unnecessary Variables in Logic Programs, Symposium on Program Language Implementation and Logic Programming, 1991, pp. 347\u2013358.","DOI":"10.1007\/3-540-54444-5_111"},{"key":"14_CR14","first-page":"94720","volume-title":"Computer Science Division (EECS), University of California","author":"PL Roy","year":"1990","unstructured":"P.L.Van Roy, Can Logic Programming Execute as Fast as Imperative Programming? Report no.UCB\/CSD 90\/600 Dec.1990, Computer Science Division (EECS), University of California, Berkeley, California 94720."},{"key":"14_CR15","unstructured":"D.Sahlin, The Mixtus Approach to Automatic Partial Evaluation of Full Prolog, Proceedings of the North American Conference on Logic Programming, 1990, pp.377\u2013398\u00bb"},{"key":"14_CR16","unstructured":"H.Sawamura, T.Takeshima, A.Kato, Source-Level Optimization Techniques for Prolog, ICOT Technical Report TR-91, January 1985."},{"key":"14_CR17","unstructured":"A.Takeuchi, K.Furukawa, Partial Evaluation of Prolog Programs and its Application to Meta Programming, ICOT Technical Report TR-126, July 1985."},{"key":"14_CR18","unstructured":"A.Taylor, High Performance Prolog Implementation, PhD thesis, Basser Department of Computer Science, University of Sidney, June 1991."},{"key":"14_CR19","unstructured":"R.Venken, A Prolog Meta-Interpreter for Partial Evaluation and its Application to Source to Source Transformation and Query Optimisation, ECAI\u201984: Advances in Artificial Intelligence, ed. T.O\u2019Shea, Elsevier Science Publishers B.V. (North-Holland), pp.91\u2013100."},{"issue":"23","key":"14_CR20","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1007\/BF03037142","volume":"6","author":"R Venken","year":"1988","unstructured":"R.Venken, B.Demoen, A Partial Evaluation System for Prolog: some Practical Considerations, New Generation Computing 6 (2,3), 1988, pp. 279\u2013290.","journal-title":"New Generation Computing"}],"container-title":["Workshops in Computing","Logic Program Synthesis and Transformation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3560-9_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,4]],"date-time":"2024-05-04T03:35:52Z","timestamp":1714793752000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3560-9_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540198062","9781447135609"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3560-9_14","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1993]]}}}