{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T18:41:36Z","timestamp":1648838496533},"reference-count":13,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1992,8,1]],"date-time":"1992-08-01T00:00:00Z","timestamp":712627200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["New Gener Comput"],"published-print":{"date-parts":[[1992,8]]},"DOI":"10.1007\/bf03037941","type":"journal-article","created":{"date-parts":[[2009,4,24]],"date-time":"2009-04-24T20:06:32Z","timestamp":1240603592000},"page":"315-328","source":"Crossref","is-referenced-by-count":2,"title":["Compositional operational semantics for Prolog programs"],"prefix":"10.1007","volume":"10","author":[{"given":"M. H. M.","family":"Cheng","sequence":"first","affiliation":[]},{"given":"R. N.","family":"Horspool","sequence":"additional","affiliation":[]},{"given":"M. R.","family":"Levy","sequence":"additional","affiliation":[]},{"given":"M. H.","family":"van Emden","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"3","key":"BF03037941_CR1","doi-asserted-by":"crossref","first-page":"841","DOI":"10.1145\/322326.322339","volume":"29","author":"K. R. Apt","year":"1982","unstructured":"Apt, K. R. and van Emden, M. H., \u201cContributions to the Theory of Logic Programming,\u201dJournal of the ACM, 29, 3, pp. 841\u2013862, 1982.","journal-title":"Journal of the ACM"},{"key":"BF03037941_CR2","unstructured":"Byrd, L., \u201cUnderstanding the Control Flow of Prolog Programs,\u201d inLogic Programmign Workshop, Proceedings of the Workshop in Debrecen, Hungary, 14\u201316 July 1980, pp. 127\u2013138, 1980."},{"key":"BF03037941_CR3","unstructured":"Clark, K. L., \u201cPredicate Logic as a Computational Formalism,\u201dTechnical Report, DOC 79\/59, Department of Computing, Imperial College, 1979."},{"key":"BF03037941_CR4","unstructured":"Colmerauer, A., Kanoui, H., Pas\u00e9ro, R. and Roussel, P., \u201cUn syst\u00e8me de communication homme-machine en fran\u00e7ais,\u201dTechnical Report, Groupe d\u2019Intelligence Artificielle, Universit\u00e9 d\u2019Aix-Marseille II, 1972."},{"issue":"3","key":"BF03037941_CR5","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1145\/122167.122172","volume":"26","author":"C. Delrieux","year":"1991","unstructured":"Delrieux, C., Azero, P. and Tohm\u00e9, F., \u201cToward Integrating Imperative and Logic Programming Paradigms: A WYSIWYG Approach to Prolog Programming,\u201d ACM SIGPLAN Notices,26, 3, pp. 35\u201344, 1991.","journal-title":"ACM Sigplan Notices"},{"key":"BF03037941_CR6","unstructured":"Eisenstadt, M. and Brayshaw, M., \u201cGraphical Debugging with the Transparent Prolog Machine,\u201d inProc. 10th International Joint Conference on Artificial Intelligence, 1987."},{"key":"BF03037941_CR7","unstructured":"Horspool, R. N. and Levy, M. \u201cIntegrating Imperative and Logic Programming,\u201dunpublished manuscript, Department of Computer Science, University of Victoria, 1991."},{"key":"BF03037941_CR8","unstructured":"Kowalski, R. A.,Logic for Problem-Solving, Elsevier North-Holland, 1979."},{"key":"BF03037941_CR9","doi-asserted-by":"crossref","unstructured":"Lloyd, J. W.,Foundations of Logic Programming, 2nd edition, Springer-Verlag, 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"key":"BF03037941_CR10","doi-asserted-by":"crossref","unstructured":"Numao, M., Morishita, S. and Maruyama, H., \u201cHow Should Prolog Computation Be Represented for Practical Use?,\u201dNew Generation Computing, 8, 1990.","DOI":"10.1007\/BF03037469"},{"key":"BF03037941_CR11","unstructured":"Roussel, Ph., \u201cProlog, manuel de r\u00e9f\u00e9rence et d\u2019utilisation,\u201dTechnical Report, Groupe d\u2019Intelligence Artificielle, Universit\u00e9 d\u2019 Aix-Marseille II, 1975."},{"key":"BF03037941_CR12","unstructured":"Schnupp, P. and W. Bernard, L. W.,Productive Prolog Programming, Prentice Hall, 1987."},{"key":"BF03037941_CR13","unstructured":"van Emden, M. H., \u201cAn Algorithm for Interpreting Prolog Programs,\u201d inImplementations of Prolog, Ellis Horwood, pp. 93\u2013110, 1984."}],"container-title":["New Generation Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037941.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF03037941\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037941","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T20:52:41Z","timestamp":1558558361000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF03037941"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992,8]]},"references-count":13,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1992,8]]}},"alternative-id":["BF03037941"],"URL":"https:\/\/doi.org\/10.1007\/bf03037941","relation":{},"ISSN":["0288-3635","1882-7055"],"issn-type":[{"value":"0288-3635","type":"print"},{"value":"1882-7055","type":"electronic"}],"subject":[],"published":{"date-parts":[[1992,8]]}}}