{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:20:18Z","timestamp":1725456018335},"publisher-location":"Berlin\/Heidelberg","reference-count":23,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354053010X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0024197","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T09:49:34Z","timestamp":1132393774000},"page":"387-401","source":"Crossref","is-referenced-by-count":25,"title":["Compiling logic programs with equality"],"prefix":"10.1007","author":[{"given":"Michael","family":"Hanus","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"26_CR1","unstructured":"P.G. Bosco, C. Cecchi, and C. Moiso. An extension of WAM for K-LEAF: a WAM-based compilation of conditional narrowing. In Proc. Sixth International Conference on Logic Programming (Lisboa), pp. 318\u2013333. MIT Press, 1989."},{"key":"26_CR2","doi-asserted-by":"crossref","unstructured":"H. Bertling and H. Ganzinger. Completion-Time Optimization of Rewrite-Time Goal Solving. In Proc. of the Conference on Rewriting Techniques and Applications, pp. 45\u201358. Springer LNCS 355, 1989.","DOI":"10.1007\/3-540-51081-8_99"},{"key":"26_CR3","doi-asserted-by":"crossref","unstructured":"P.G. Bosco, E. Giovannetti, and C. Moiso. Refined strategies for semantic unification. In Proc. of the TAPSOFT '87, pp. 276\u2013290. Springer LNCS 250, 1987.","DOI":"10.1007\/BFb0014986"},{"key":"26_CR4","doi-asserted-by":"crossref","unstructured":"W.F. Clocksin and C.S. Mellish. Programming in Prolog. Springer, third rev. and ext. edition, 1987.","DOI":"10.1007\/978-3-642-97005-4"},{"key":"26_CR5","unstructured":"S.K. Debray. Register Allocation in a Prolog Machine. In Proc. IEEE Internat. Symposium on Logic Programming, pp. 267\u2013275, Salt Lake City, 1986."},{"key":"26_CR6","unstructured":"D. DeGroot and G. Lindstrom, editors. Logic Programming, Functions, Relations, and Equations. Prentice Hall, 1986."},{"key":"26_CR7","unstructured":"M.J. Fay. First-Order Unification in an Equational Theory. In Proc. 4th Workshop on Automated Deduction, pp. 161\u2013167, Austin (Texas), 1979. Academic Press."},{"key":"26_CR8","unstructured":"L. Fribourg. SLOG: A Logic Programming Language Interpreter Based on Clausal Superposition and Rewriting. In Proc. IEEE Internat. Symposium on Logic Programming, pp. 172\u2013184, Boston, 1985."},{"key":"26_CR9","unstructured":"J.A. Goguen and J. Meseguer. Eqlog: Equality, Types, and Generic Modules for Logic Programming. In D. DeGroot and G. Lindstrom, editors, Logic Programming, Functions, Relations, and Equations, pp. 295\u2013363. Prentice Hall, 1986."},{"key":"26_CR10","doi-asserted-by":"crossref","unstructured":"M. Hanus. Formal Specification of a Prolog Compiler. In Proc. of the Workshop on Programming Language Implementation and Logic Programming, pp. 273\u2013282, Orl\u00e9ans, 1988. Springer LNCS 348.","DOI":"10.1007\/3-540-50820-1_52"},{"key":"26_CR11","unstructured":"M. Hanus. Horn Clause Specifications with Polymorphic Types. Dissertation, FB Informatik, Univ. Dortmund, 1988."},{"key":"26_CR12","doi-asserted-by":"crossref","unstructured":"M. Hanus. A Functional and Logic Language with Polymorphic Types. In Proc. Int. Symposium on Design and Implementation of Symbolic Computation Systems, pp. 215\u2013224. Springer LNCS 429, 1990.","DOI":"10.1007\/3-540-52531-9_142"},{"key":"26_CR13","doi-asserted-by":"crossref","unstructured":"T. Heuillard. Compiling conditional rewriting systems. In Proc. 1st Int. Workshop on Conditional Term Rewriting Systems, pp. 111\u2013128. Springer LNCS 308, 1987.","DOI":"10.1007\/3-540-19242-5_10"},{"key":"26_CR14","unstructured":"S. H\u00f6lldobler. From Paramodulation to Narrowing. In Proc. 5th Conference on Logic Programming & 5th Symposium on Logic Programming (Seattle), pp. 327\u2013342, 1988."},{"key":"26_CR15","doi-asserted-by":"crossref","unstructured":"J.-M. Hullot. Canonical Forms and Unification. In Proc. 5th Conference on Automated Deduction, pp. 318\u2013334. Springer LNCS 87, 1980.","DOI":"10.21236\/ADA087640"},{"key":"26_CR16","unstructured":"M. Huber and I. Varsek. Extended Prolog with Order-Sorted Resolution. In Proc. 4th IEEE Internat. Symposium on Logic Programming, pp. 34\u201343, San Francisco, 1987."},{"key":"26_CR17","doi-asserted-by":"crossref","unstructured":"A. Josephson and N. Dershowitz. An Implementation of Narrowing. Journal of Logic Programming (6), pp. 57\u201377, 1989.","DOI":"10.1016\/0743-1066(89)90030-7"},{"key":"26_CR18","unstructured":"G. Janssens, B. Demoen, and A. Marien. Improving the Register Allocation in WAM by Reordering Unification. In Proc. 5th Conference on Logic Programming & 5th Symposium on Logic Programming (Seattle), pp. 1388\u20131402. MIT Press, 1988."},{"key":"26_CR19","doi-asserted-by":"crossref","unstructured":"H. Kuchen, R. Loogen, J.J. Moreno-Navarro, and M. Rodr\u00edguez-Artalejo. Graph-based Implementation of a Functional Logic Language. In Proc. ESOP 90, pp. 271\u2013290. Springer LNCS 432, 1990.","DOI":"10.1007\/3-540-52592-0_69"},{"key":"26_CR20","doi-asserted-by":"crossref","unstructured":"P. Padawitz. Computing in Horn Clause Theories, volume 16 of EATCS Monographs on Theoretical Computer Science. Springer, 1988.","DOI":"10.1007\/978-3-642-73824-1"},{"key":"26_CR21","unstructured":"Projektgruppe PILS. Zwischenbericht der Projektgruppe PILS. Univ. Dortmund, 1990."},{"key":"26_CR22","unstructured":"D.H.D. Warren. An Abstract Prolog Instruction Set. Technical Note 309, SRI International, Stanford, 1983."},{"key":"26_CR23","unstructured":"A. Yamamoto. A Theoretical Combination of SLD-Resolution and Narrowing. In Proc. Fourth International Conference on Logic Programming (Melbourne), pp. 470\u2013487. MIT Press, 1987."}],"container-title":["Lecture Notes in Computer Science","Programming Language Implementation and Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0024197","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T01:48:35Z","timestamp":1586569715000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0024197"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354053010X"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/bfb0024197","relation":{},"subject":[]}}