{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:25:29Z","timestamp":1725456329911},"publisher-location":"Berlin\/Heidelberg","reference-count":22,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354055498X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0013603","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T01:35:56Z","timestamp":1132709756000},"page":"45-72","source":"Crossref","is-referenced-by-count":1,"title":["Extended logic-plus-functional Programming"],"prefix":"10.1007","author":[{"given":"Harold","family":"Boley","sequence":"first","affiliation":[]}],"member":"297","reference":[{"issue":"8","key":"2_CR1","doi-asserted-by":"crossref","first-page":"613","DOI":"10.1145\/359576.359579","volume":"21","author":"J. Backus","year":"1978","unstructured":"John Backus. Can programming be liberated from the von Neumann style? A functional style and its algebra of programs. CACM, 21(8):613\u2013641, August 1978.","journal-title":"CACM"},{"key":"2_CR2","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(88)90095-3","volume":"59","author":"P.G. Bosco","year":"1988","unstructured":"P.G. Bosco, E. Giovannetti, and C. Moiso. Narrowing vs. SLD-resolution. Theoretical Computer Science, 59:3\u201323, 1988.","journal-title":"Theoretical Computer Science"},{"key":"2_CR3","unstructured":"Harold Boley, Philipp Hanschke, Martin Harm, Knut Hinkelmann, Thomas Labisch, Manfred Meyer, Joerg Mueller, Thomas Oltzen, Michael Sintek, Werner Stein, and Frank Steinle. \u039c CAD2NC: A declarative latheworkplanning model transforming CAD-like geometries into abstract NC programs. Technical Report Document D-91-15, University of Kaiserslautern, DFKI, November 1991."},{"key":"2_CR4","unstructured":"H. Boley, P. Hanschke, K. Hinkelmann, and M. Meyer. COLAB: A Hybrid Knowledge Compilation Laboratory. 3rd International Workshop on Data, Expert Knowledge and Decisions: Using Knowledge to Transform Data into Information for Decision Support, September 1991."},{"issue":"12","key":"2_CR5","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1145\/15042.15045","volume":"21","author":"H. Boley","year":"1986","unstructured":"Harold Boley. RELFUN: A relational\/functional integration with valued clauses. SIGPLAN Notices, 21(12):87\u201398, December 1986.","journal-title":"SIGPLAN Notices"},{"key":"2_CR6","unstructured":"Harold Boley. A relational\/functional language and its compilation into the WAM. Technical Report SEKI SR-90-05, University of Kaiserslautern, Department of Computer Science, April 1990."},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"Harold Boley. Declarative operations on nets. In Fritz Lehmann, editor, Semantic Networks in Artificial Intelligence. Special Issue of Computers & Mathematics with Applications, Pergamon Press, 1992. Preprinted as: DFKI Research Report RR-90-12, Oct. 1990.","DOI":"10.1016\/0898-1221(92)90126-3"},{"key":"2_CR8","unstructured":"Mats Carlsson and Kenneth M. Kahn. LM-Prolog user manual. Technical Report UPMAIL 24, Uppsala University, Department of Computer Science, Revised April 1985."},{"key":"2_CR9","unstructured":"D. DeGroot and G. Lindstrom, editors. Logic Programming: Functions, Relations, and Equations. Prentice-Hall, 1986."},{"issue":"2","key":"2_CR10","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/0743-1066(84)90003-7","volume":"1","author":"L. Fribourg","year":"1984","unstructured":"Laurent Fribourg. Oriented equational clauses as a programming language. J. Logic Programming, 1(2):165\u2013177, 1984.","journal-title":"J. Logic Programming"},{"key":"2_CR11","unstructured":"Laurent Fribourg. SLOG: A logic programming language interpreter based on clausal superposition and rewriting. In 1985 Symposium on Logic Programming, pages 172\u2013184. IEEE Computer Society Press, 1985."},{"key":"2_CR12","unstructured":"Michael R. Genesereth and Richard Fikes in collaboration with Danny Bobrow, Piero Bonissone, Ron Brachman, Ramanathan Guha, Reed Letsinger, Valdimir Lifschitz, Bob MacGregor, John McCarthy, Peter Norvig, Ramesh Patil, and Len Schubert. Knowledge Interchange Format Version 2.2 Reference Manual. Technical Report Logic-90-4, Stanford University, Computer Science Department, Logic Group, March 1991."},{"issue":"2","key":"2_CR13","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1016\/0743-1066(84)90004-9","volume":"1","author":"A Joseph","year":"1984","unstructured":"Joseph A. Goguen and Jos\u00e9 Meseguer. Equality, types, modules, and (why not?) generics for logic programming. J. Logic Programming, 1(2):179\u2013210, 1984.","journal-title":"J. Logic Programming"},{"key":"2_CR14","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":"John W. Lloyd. Foundations of Logic Programming. Springer-Verlag, Berlin, Heidelberg, New York, 1987."},{"key":"2_CR15","doi-asserted-by":"crossref","DOI":"10.21236\/AD0406138","volume-title":"LISP 1.5 programmer's manual","author":"J. McCarthy","year":"1962","unstructured":"[MAE+62] John McCarthy, Paul W. Abrahams, Daniel J. Edwards, Timothy P. Hart, and Michael I. Levin. LISP 1.5 programmer's manual. MIT Press, Cambridge, Mass., 1962."},{"issue":"4","key":"2_CR16","doi-asserted-by":"publisher","first-page":"777","DOI":"10.1145\/96559.96570","volume":"37","author":"G. Nadathur","year":"1990","unstructured":"Gopalan Nadathur and Dale Miller. Higher-order Horn clauses. JACM, 37(4):777\u2013814, October 1990.","journal-title":"JACM"},{"key":"2_CR17","volume-title":"Equational Logic as a Programming Language","author":"M. J. O'Donnell","year":"1985","unstructured":"M. J. O'Donnell. Equational Logic as a Programming Language. MIT Press, Cambridge, Mass., 1985."},{"key":"2_CR18","unstructured":"Lu\u00eds Moniz Pereira and Ant\u00f3nio Porto. Pure Lisp in pure Prolog. Logic Programming Newsletter 3, Summer 1982. Universidade Nova de Lisboa, Departamento de Inform\u00e1tica."},{"key":"2_CR19","series-title":"LNCS 475","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1007\/BFb0038699","volume-title":"Extensions of Logic Programming","author":"L. C. Paulson","year":"1991","unstructured":"Lawrence C. Paulson and Andrew W. Smith. Logic programming, functional programming, and inductive definitions. In P. Schroeder-Heister, editor, Extensions of Logic Programming, pages 283\u2013309, Berlin, Heidelberg, New York, 1991. Springer-Verlag. LNCS 475."},{"key":"2_CR20","unstructured":"Michael Sintek. Generalized indexing methods for higher-order PROLOG extensions: A case study with the RELFUN WAM. Technical report, University of Kaiserslautern, DFKI, Forthcoming 1992."},{"key":"2_CR21","first-page":"441","volume":"10","author":"D. H. D. Warren","year":"1982","unstructured":"David H. D. Warren. Higher-order extensions to PROLOG: Are they needed? Machine Intelligence, 10:441\u2013454, 1982.","journal-title":"Machine Intelligence"},{"issue":"8","key":"2_CR22","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1145\/872734.806939","volume":"12","author":"D. H. D. Warren","year":"1977","unstructured":"David H. D. Warren, Luis M. Pereira, and Fernando Pereira. Prolog \u2014 the language and its implementation compared with Lisp. SIGPLAN Notices, 12(8):109\u2013115, August 1977. Special Issue.","journal-title":"SIGPLAN Notices"}],"container-title":["Lecture Notes in Computer Science","Extensions of Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0013603.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,7]],"date-time":"2020-12-07T10:08:02Z","timestamp":1607335682000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0013603"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354055498X"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/bfb0013603","relation":{},"subject":[]}}