{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T18:13:57Z","timestamp":1743012837969,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540637462"},{"type":"electronic","value":"9783540696407"}],"license":[{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0052103","type":"book-chapter","created":{"date-parts":[[2006,6,7]],"date-time":"2006-06-07T05:02:10Z","timestamp":1149656530000},"page":"351-358","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A relational-functional integration for declarative programming"],"prefix":"10.1007","author":[{"given":"Harold","family":"Boley","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,5,16]]},"reference":[{"key":"32_CR1","unstructured":"Harold Boley. Extended Logic-plus-Functional Programming. In Lars-Henrik Eriksson, Lars Halln\u00e4s, and Peter Schroeder-Heister, editors, Proceedings of the 2nd International Workshop on Extensions of Logic Programming, ELP '91, Stockholm 1991, volume 596 of LNAI. Springer, 1992."},{"key":"32_CR2","unstructured":"Harold Boley. A Direct Semantic Characterization of RELFUN. In E. Lamina and P. Mello, editors, Proceedings of the 3rd International Workshop on Extensions of Logic Programming, ELP '92, Bologna 1992, volume 660 of LNAI. Springer, 1993."},{"key":"32_CR3","volume-title":"15th IMACS World Congress on Scientific Computation, Modelling and Applied Mathematics","author":"H. Boley","year":"1997","unstructured":"Harold Boley, Markus Perling, and Michael Sintek. Transforming Workpiece Geometries into Lathe-NC Programs by Qualitative Simulation. In 15th IMACS World Congress on Scientific Computation, Modelling and Applied Mathematics. Wissenschaft und Technik Verlag, Berlin, August 1997."},{"issue":"20","key":"32_CR4","doi-asserted-by":"publisher","first-page":"583","DOI":"10.1016\/0743-1066(94)90034-5","volume":"19","author":"M. Hanus","year":"1994","unstructured":"Michael Hanus. The Integration of Functions into Logic Programming: From Theory to Practice. Journal of Logic Programming, 19,20:583\u2013628, 1994.","journal-title":"Journal of Logic Programming"},{"key":"32_CR5","doi-asserted-by":"crossref","unstructured":"Michael Hanus. A Unified Computation Model for Functional and Logic Programming. In POPL'97, Paris 1997.","DOI":"10.1145\/263699.263710"},{"key":"32_CR6","doi-asserted-by":"crossref","unstructured":"John W. Lloyd. Combining Functional and Logic Programming Languages. In 1994 International Logic Programming Symposium, ILPS'94.","DOI":"10.7551\/mitpress\/4301.001.0001"},{"key":"32_CR7","first-page":"399","volume":"10","author":"J. A. Robinson","year":"1982","unstructured":"J. A. Robinson and E. E. Sibert. LOGLISP: An Alternative to Prolog. Machine Intelligence, 10:399\u2013419, 1982.","journal-title":"Machine Intelligence"},{"issue":"20","key":"32_CR8","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1016\/0743-1066(94)90031-0","volume":"19","author":"P. Van Roy","year":"1994","unstructured":"Peter Van Roy. 1983\u20131993: The Wonder Years of Sequential Prolog Implementation. The Journal of Logic Programming, 19, 20:385\u2013441, 1994.","journal-title":"The Journal of Logic Programming"}],"container-title":["Lecture Notes in Computer Science","Foundations of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0052103","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,17]],"date-time":"2023-02-17T23:18:47Z","timestamp":1676675927000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/BFb0052103"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540637462","9783540696407"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/bfb0052103","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]},"assertion":[{"value":"16 May 2006","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}