{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:56:30Z","timestamp":1725663390765},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540508205"},{"type":"electronic","value":"9783540460923"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1989]]},"DOI":"10.1007\/3-540-50820-1_38","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:33:57Z","timestamp":1330202037000},"page":"20-34","source":"Crossref","is-referenced-by-count":2,"title":["Towards a clean amalgamation of logic programs with external procedures"],"prefix":"10.1007","author":[{"given":"Staffan","family":"Bonnier","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Ma\u0142uszy\u0144ski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,29]]},"reference":[{"key":"2_CR1","first-page":"17","volume-title":"Proc. 1987 Symposium on Logic Programming","author":"H. A\u00eft-Kaci","year":"1987","unstructured":"H. A\u00eft-Kaci, P. Lincoln and R. Nasr, Le Fun: Logic, Equations and Functions, in: Proc. 1987 Symposium on Logic Programming, pp. 17\u201323, San Francisco, California, (1987)."},{"key":"2_CR2","unstructured":"R. Barbuti, M. Bellia, G. Levi and M. Martelli, LEAF: a language which integrates Logic, Equations and Functions, in: D. DeGroot and G. Lindstrom ed., Logic Programming, Functions, Relations and Equations, (Prentice-Hall, 1986) pp. 201\u2013238."},{"key":"2_CR3","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1016\/0743-1066(86)90014-2","volume":"3","author":"M. Bellia","year":"1986","unstructured":"M. Bellia and G. Levi, The Relation between Logic and Functional Languages: A Survey, J. Logic Programming, 3 (1986), pp. 217\u2013236.","journal-title":"J. Logic Programming"},{"key":"2_CR4","volume-title":"A Framework for the Abstract Interpretation of Logic Programs, Report, CW 62","author":"M. Bruynooghe","year":"1987","unstructured":"M. Bruynooghe, A Framework for the Abstract Interpretation of Logic Programs, Report, CW 62, Katholieke Universiteit, Leuven (1987)."},{"key":"2_CR5","unstructured":"S. Cohen, The APPLOG Language, in: D. DeGroot and G. Lindstrom ed., Logic Programming, Functions, Relations and Equations, (Prentice-Hall 1986) pp. 239\u2013276."},{"volume-title":"Logic Programming, Functions, Relations and Equations","year":"1986","key":"2_CR6","unstructured":"D. DeGroot and G. Lindstrom ed., Logic Programming, Functions, Relations and Equations, (Prentice-Hall, Englewood Cliffs, NJ, 1986)"},{"key":"2_CR7","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1016\/0743-1066(85)90015-9","volume":"2","author":"P. Deransart","year":"1985","unstructured":"P. Deransart and J. Ma\u0142uszy\u0144ski, Logic Programs and Attribute Grammars, J. Logic Programming, 2 (1985), pp. 119\u2013155.","journal-title":"J. Logic Programming"},{"key":"2_CR8","unstructured":"J. Goguen and J. Meseguer, EQLOG: Equality, Types and Generic Modules for Logic Programming, in: D. DeGroot and G. Lindstrom ed., Logic Programming, Functions, Relations and Equations, (Prentice-Hall, 1986) pp. 295\u2013363."},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"J. Goguen and J. Meseguer, Models and Equality for Logical Programming, in: Proc. TAPSOFT' 87, Pisa, Italy, (1987).","DOI":"10.1007\/BFb0014969"},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"J-M. Hullot, Canonical Forms and Unification, in: Proc. CADE-5, pp. 318\u2013334, (1980).","DOI":"10.21236\/ADA087640"},{"key":"2_CR11","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1016\/0743-1066(84)90010-4","volume":"3","author":"J. Jaffar","year":"1984","unstructured":"J. Jaffar, J-L. Lassez and M-J. Maher, A Theory of Complete Logic Programs with Equality, J. Logic Programming, 3 (1984), pp. 211\u2013223.","journal-title":"J. Logic Programming"},{"key":"2_CR12","volume-title":"Proc. 4:th Int. Conf. on Logic Programming","author":"J. Jaffar","year":"1987","unstructured":"J. Jaffar and S Michaylov, Methodology and Implementation of a CLP system, in: Proc. 4:th Int. Conf. on Logic Programming, Melbourne, Australia, (1987)."},{"key":"2_CR13","unstructured":"N. Jones and H. S\u00f8ndergaard, A Semantics-based Framework for the Abstract Interpretation of PROLOG, in: Abramsky and Hankin ed., Abstract Interpretation of Declarative Languages, (Ellis Horwood, 1987)."},{"key":"2_CR14","unstructured":"J. Komorowski, QLOG \u2014 The Programming Environment for PROLOG in LISP, in: K. Clark and S-\u00c5 T\u00e4rnlund ed., Logic Programming, (Prentice-Hall, 1982)."},{"key":"2_CR15","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1016\/0020-0190(88)90072-5","volume":"27","author":"J. Leszczylowski","year":"1988","unstructured":"J. Leszczylowski, S. Bonnier and J. Ma\u0142uszy\u0144ski, Logic Programming with External Procedures: Introducing S-Unification, Report, R-88-01, Dep. of Comp. and Inf. Sc., Link\u00f6ping University, Link\u00f6ping, Sweden, a shortened version also in: Information Processing Letters, 27 (1988), pp. 159\u2013165.","journal-title":"Information Processing Letters"},{"key":"2_CR16","volume-title":"Logic Programming with External Procedures: Introducing S-Unification, Report, TR-86-21","author":"J. Leszczylowski","year":"1986","unstructured":"J. Leszczylowski and J. Ma\u0142uszy\u0144ski, Logic Programming with External Procedures: Introducing S-Unification, Report, TR-86-21, Dep. of Comp Sc., Iowa State University, Ames (1986)."},{"key":"2_CR17","doi-asserted-by":"crossref","unstructured":"C-S. Mellish, Abstract Interpretation of PROLOG Programs, in: Abramsky and Hankin ed., Abstract Interpretation of Declarative Languages, (Ellis Horwood, 1987).","DOI":"10.1007\/3-540-16492-8_95"},{"key":"2_CR18","unstructured":"C-S. Mellish and S. Hardy, Integrating PROLOG in POPLOG Environment, in: J. Campbell ed., Implementations of PROLOG, (Ellis Horwood, 1984.)"},{"key":"2_CR19","volume-title":"Inferring Restricted AND-Parallelism in Logic Programs using Abstract Interpretation, Report, R-88-02","author":"U. Nilsson","year":"1988","unstructured":"U. Nilsson, Inferring Restricted AND-Parallelism in Logic Programs using Abstract Interpretation, Report, R-88-02, Dep. of Comp. and Inf. Sc., Link\u00f6ping University, Link\u00f6ping, Sweden (1988)."},{"key":"2_CR20","first-page":"32","volume":"12","author":"J-A. Robinson","year":"1965","unstructured":"J-A. Robinson, A Machine-Oriented Logic Based on the Resolution Principle, JACM, 12 (1965), pp. 32\u201341.","journal-title":"JACM"},{"key":"2_CR21","unstructured":"J. Robinson and E. Sibert, LOGLISP: Motivation, Design and Implementation, in: K. Clark and S-\u00c5 T\u00e4rnlund ed., Logic Programming, (Prentice-Hall, 1982)."},{"key":"2_CR22","unstructured":"P. Subrahmanyam and J-H. You, FUNLOG: A Computational Model Integrating Logic Programming and Functional Programming, in: D. DeGroot and G. Lindstrom ed., Logic Programming, Functions, Relations and Equations, (Prentice-Hall, 1986) pp. 157\u2013198."}],"container-title":["Lecture Notes in Computer Science","Programming Languages Implementation and Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-50820-1_38.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:18:51Z","timestamp":1605647931000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-50820-1_38"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9783540508205","9783540460923"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-50820-1_38","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1989]]}}}