{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:01:27Z","timestamp":1725663687272},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540544449"},{"type":"electronic","value":"9783540383628"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54444-5_114","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:49:58Z","timestamp":1330210198000},"page":"383-393","source":"Crossref","is-referenced-by-count":7,"title":["S-SLD-resolution \u2014 An operational semantics for logic programs with external procedures"],"prefix":"10.1007","author":[{"given":"Johan","family":"Boye","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,4]]},"reference":[{"key":"32_CR1","unstructured":"Bonnier, S. and J. Ma\u0142uszy\u0144ski. Towards a clean amalgamation of logic programs with external procedures. In 5th Int. conf. and symp. on logic programming, pp. 311\u2013326, MIT Press, 1988."},{"key":"32_CR2","volume-title":"Horn clause logic with external procedures: towards a theoretical framework","author":"S. Bonnier","year":"1989","unstructured":"Bonnier, S. Horn clause logic with external procedures: towards a theoretical framework, Licenciate thesis, University of Link\u00f6ping, Sweden, 1989."},{"key":"32_CR3","series-title":"Research report","volume-title":"Horn clause logic with external procedures: towards a formal framework","author":"S. Bonnier","year":"1990","unstructured":"Bonnier, S. Horn clause logic with external procedures: towards a formal framework, Research report, University of Link\u00f6ping, Sweden, 1990."},{"key":"32_CR4","volume-title":"A framework for the abstract interpretation of logic programs. Report CW62","author":"M. Bruynooghe","year":"1987","unstructured":"Bruynooghe M. A framework for the abstract interpretation of logic programs. Report CW62, Katholieke Universiteit, Leuven, 1987."},{"key":"32_CR5","series-title":"Research report","volume-title":"Une nouvelle construction de grammaires attribu\u00e9es associ\u00e9es \u00e0 un programme logique et application au probl\u00e8me du test d'occurrence","author":"P. Deransart","year":"1989","unstructured":"Deransart, P., G. Ferrand and M. T\u00e9guia. Une nouvelle construction de grammaires attribu\u00e9es associ\u00e9es \u00e0 un programme logique et application au probl\u00e8me du test d'occurrence, Research report 89-3, Laboratoire d'Informatique, University of Orl\u00e9ans, France, 1989."},{"key":"32_CR6","unstructured":"Deransart, P., M. Jourdan and B. Lorho. Attribute grammars. Definitions, systems and bibliography, LNCS 323, Springer-Verlag, 1988."},{"issue":"2","key":"32_CR7","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1016\/0743-1066(85)90015-9","volume":"2","author":"P. Deransart","year":"1985","unstructured":"Deransart, P. and J. Ma\u0142uszy\u0144ski. Relating logic programs and attribute grammars. Journal of logic programming, 2(2), pp. 119\u2013156, 1985.","journal-title":"Journal of logic programming"},{"key":"32_CR8","unstructured":"Deransart, P. and J. Ma\u0142uszy\u0144ski. A grammatical view on logic programming, MIT Press. To appear."},{"key":"32_CR9","doi-asserted-by":"crossref","unstructured":"H\u00f6lldobler, S. Foundations of equational logic programming, Lecture notes in artificial intelligence 353, Springer Verlag, 1989.","DOI":"10.1007\/BFb0015791"},{"key":"32_CR10","doi-asserted-by":"crossref","unstructured":"Jaffar, J. and J-L. Lassez. Constraint logic programming. In 14th ACM POPL Conf., ACM, 1987.","DOI":"10.1145\/41625.41635"},{"issue":"3","key":"32_CR11","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1016\/0743-1066(84)90010-4","volume":"1","author":"J. Jaffar","year":"1984","unstructured":"Jaffar, J., J-L. Lassez and M. Maher. A theory of complete logic programs with equality. Journal of logic programming, 1(3), pp. 211\u2013223, 1984.","journal-title":"Journal of logic programming"},{"key":"32_CR12","unstructured":"Jones, N.D. and H. S\u00f8ndergaard. A semantics-based framework for the abstract interpretation of Prolog. In Abramsky and Hankin editors, Abstract interpretation of declarative languages, pp. 123\u2013142, Ellis Horwood, 1987."},{"key":"32_CR13","series-title":"Research report","volume-title":"Enriching Prolog with S-unification","author":"A K\u00e5gedal","year":"1991","unstructured":"K\u00e5gedal, A and F. Klu\u017aniak. Enriching Prolog with S-unification, Research report LiTH-IDA-R-91-12, University of Link\u00f6ping, Sweden, 1991."},{"key":"32_CR14","unstructured":"Mellish C. Abstract interpretation of Prolog programs. In Abramsky and Hankin editors, Abstract interpretation of declarative languages, pp. 181\u2013198, Ellis Horwood, 1987."},{"key":"32_CR15","doi-asserted-by":"crossref","unstructured":"Nilsson, U. Systematic semantic approximations of logic programs. In Deransart and Ma\u0142uszy\u0144ski editors, Proc. PLILP'90, pp. 293\u2013306, Springer Verlag, 1990.","DOI":"10.1007\/BFb0024191"}],"container-title":["Lecture Notes in Computer Science","Programming Language Implementation and Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54444-5_114.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:54:34Z","timestamp":1605646474000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54444-5_114"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540544449","9783540383628"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-54444-5_114","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}