{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:03:53Z","timestamp":1725663833415},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540571827"},{"type":"electronic","value":"9783540479277"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-57182-5_1","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T12:09:13Z","timestamp":1330258153000},"page":"1-19","source":"Crossref","is-referenced-by-count":5,"title":["On the unification free prolog programs"],"prefix":"10.1007","author":[{"given":"Krzysztof R.","family":"Apt","sequence":"first","affiliation":[]},{"given":"Sandro","family":"Etalle","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"1_CR1","unstructured":"I. Attali and P. Franchi-Zannettacci. Unification-free execution of TYPOL programs by semantic attribute evaluation. In R.A. Kowalski and K.A. Bowen, editors, Proceedings of the Fifth International Conference on Logic Programming, pages 160\u2013177. The MIT Press, 1988."},{"key":"1_CR2","first-page":"69","volume-title":"Lecture Notes in Computer Science 631","author":"K. R. Apt","year":"1992","unstructured":"K. R. Apt and A. Pellegrini. Why the occur-check is not a problem. In M. Bruynooghe and M. Wirsing, editors, Proceeding of the Fourth International Symposium on Programming Language Implementation and Logic Programming (PULP 92), Lecture Notes in Computer Science 631, pages 69\u201386, Berlin, 1992. Springer-Verlag."},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"K. R. Apt. Logic programming. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, pages 493\u2013574. Elsevier, 1990. Vol. B.","DOI":"10.1016\/B978-0-444-88074-1.50015-9"},{"key":"1_CR4","unstructured":"F. Bronsard, T.K. Lakshman, and U.S. Reddy. A framework of directionality for proving termination of logic programs. In K.R. Apt, editor, Proc. of the Joint International Conference and Symposium on Logic Programming, pages 321\u2013335. MIT Press, 1992."},{"key":"1_CR5","volume-title":"Technical report","author":"R. Chadha","year":"1991","unstructured":"R. Chadha and D.A. Plaisted. Correctness of unification without occur check in Prolog. Technical report, Department of Computer Science, University of North Carolina, Chapel Hill, N.C., 1991."},{"key":"1_CR6","unstructured":"P. Dembinski and J. Maluszynski. AND-parallelism with intelligent backtracking for annotated logic programs. In Proceedings of the International Symposium on Logic Programming, pages 29\u201338, Boston, 1985."},{"key":"1_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. Maluszynski. Relating Logic Programs and Attribute Grammars. Journal of Logic Programming, 2:119\u2013156, 1985.","journal-title":"Journal of Logic Programming"},{"key":"1_CR8","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J. W. Lloyd","year":"1987","unstructured":"J. W. Lloyd. Foundations of Logic Programming. Springer-Verlag, Berlin, second edition, 1987.","edition":"second edition"},{"key":"1_CR9","doi-asserted-by":"crossref","first-page":"587","DOI":"10.1016\/B978-0-934613-40-8.50019-1","volume-title":"Foundations of Deductive Databases and Logic Programming","author":"J.-L. Lassez","year":"1988","unstructured":"J.-L. Lassez, M. J. Maher, and K. Marriott. Unification Revisited. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming, pages 587\u2013625. Morgan Kaufmann, Los Altos, Ca., 1988."},{"key":"1_CR10","first-page":"78","volume-title":"Unification-free execution of logic programs","author":"J. Maluszynski","year":"1985","unstructured":"J. Maluszynski and H. J. Komorowski. Unification-free execution of logic programs. In Proceedings of the 1985 IEEE Symposium on Logic Programming, pages 78\u201386, Boston, 1985. IEEE Computer Society Press."},{"key":"1_CR11","doi-asserted-by":"crossref","unstructured":"U.S. Reddy. On the relationship between logic and functional languages. In D. DeGroot and G. Lindstrom, editors, Functional and Logic Programming, pages 3\u201336. Prentice-Hall, 1986.","DOI":"10.1016\/0743-1066(86)90014-2"},{"key":"1_CR12","unstructured":"D.A. Rosenblueth. Using program transformation to obtain methods for eliminating backtracking in fixed-mode logic programs. Technical Report 7, Universidad National Autonoma de Mexico, Instituto de Investigaciones en Matematicas Aplicadas y en Sistemas, 1991."},{"key":"1_CR13","unstructured":"L. Sterling and E. Shapiro. The Art of Prolog. MIT Press, 1986."},{"key":"1_CR14","first-page":"63","volume-title":"Types in Logic Programming","author":"E. Yardeni","year":"1992","unstructured":"E. Yardeni, T. Fr\u00fchwirth, and E. Shapiro. Polymorphically typed logic programs. In F. Pfenning, editor, Types in Logic Programming, pages 63\u201390. MIT Press, Cambridge, Massachussets, 1992."}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1993"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57182-5_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T05:13:55Z","timestamp":1640927635000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57182-5_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540571827","9783540479277"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-57182-5_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}