{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T21:31:05Z","timestamp":1762032665063},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540677970"},{"type":"electronic","value":"9783540449577"}],"license":[{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44957-4_82","type":"book-chapter","created":{"date-parts":[[2007,6,1]],"date-time":"2007-06-01T05:24:41Z","timestamp":1180675481000},"page":"1225-1239","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["Fluents: A Refactoring of Prolog for Uniform Reflection and Interoperation with External Objects"],"prefix":"10.1007","author":[{"given":"Paul","family":"Tarau","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2000,12,15]]},"reference":[{"key":"82_CR1","unstructured":"J.-M. Andreoli and R. Pareschi. Linear objects: Logical processes with built-in inheritance. In D.H.D. Warren and P. Szeredi, editors, 7th Int. Conf. Logic Programming, Jerusalem, Israel, 1990. MIT Press."},{"key":"82_CR2","unstructured":"Yves Bekkers and Paul Tarau. Monadic Constructs for Logic Programming. In John Lloyd, editor, Proceedings of ILPS\u201995, pages 51\u201365, Portland, Oregon, December 1995. MIT Press."},{"key":"82_CR3","isbn-type":"print","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-61411-8","volume-title":"Prolog: The Standard","author":"P. Deransart","year":"1996","unstructured":"P. Deransart, A. Ed-Dbali, and L. Cervoni. Prolog: The Standard. Springer-Verlag, Berlin, 1996. ISBN: 3-540-59304-7.","ISBN":"http:\/\/id.crossref.org\/isbn\/3540593047"},{"key":"82_CR4","unstructured":"E. Gamma, R. Helm, R. Johnson, J. Vlissides, and G. Booch. Design Patterns: Elements of Reusable Object-Oriented Software. Professional Computing. Addison-Wesley, 1995. ISBN: 0201633612."},{"key":"82_CR5","doi-asserted-by":"crossref","unstructured":"J.-Y. Girard. Linear logic. Theoretical Computer Science, (50):1\u2013102, 1987.","DOI":"10.1016\/0304-3975(87)90045-4"},{"key":"82_CR6","first-page":"264","volume":"43","author":"Y. Gurevich","year":"1991","unstructured":"Yuri Gurevich. Evolving algebras: An attempt to discover semantics. Bulletin of the EATCS, 43:264\u2013284, 1991.","journal-title":"Bulletin of the EATCS"},{"key":"82_CR7","unstructured":"John Hughes. Generalizing Monads to Arrows. Technical report. available from: \n                    http:\/\/www.cs.chalmers.se\/~rjmh\/Arrows\/\n                    \n                  ."},{"key":"82_CR8","unstructured":"Sun Microsystems. The Java Collections Framework. Technical report. available from: \n                    http:\/\/java.sun.com\/products\/jdk\/1.2\/docs\/guide\/collections\/\n                    \n                  ."},{"key":"82_CR9","unstructured":"Simon Peyton Jones and John Hughes. Haskell 98: A Non-strict, Purely Functional Language. Technical report, February 1999. available from: \n                    http:\/\/www.haskell.org\/onlinereport\/\n                    \n                  ."},{"key":"82_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"519","DOI":"10.1007\/BFb0017464","volume-title":"Proceedings of the Third International Conference on Principles and Practice of Constraint Programming","author":"C. Schulte","year":"1997","unstructured":"Christian Schulte. Programming constraint inference engines. In Gert Smolka, editor, Proceedings of the Third International Conference on Principles and Practice of Constraint Programming, volume 1330 of Lecture Notes in Computer Science, pages 519\u2013533, Schlo\u00df Hagenberg, Austria, October 1997. Springer-Verlag."},{"key":"82_CR11","unstructured":"Christian Schulte and Gert Smolka. Encapsulated search in higher-order concurrent constraint programming. In Maurice Bruynooghe, editor, Logic Programming: Proceedings of the 1994 International Symposium, pages 505\u2013520, Ithaca, NY, USA, November 1994. The MIT Press."},{"key":"82_CR12","unstructured":"Zoltan Somogyi, Fergus Henderson, and Thomas Conway. The Mercury Language Web Site. 1998. \n                    http:\/\/www.cs.mu.oz.au\/research\/mercuryl\n                    \n                  ."},{"key":"82_CR13","unstructured":"Paul Tarau. BinProlog 7.0 Professional Edition: Advanced BinProlog Programming and Extensions Guide. Technical report, BinNet Corp., 1998. Available from \n                    http:\/\/www.binnetcorp.com\/BinProlog\n                    \n                  ."},{"key":"82_CR14","doi-asserted-by":"crossref","unstructured":"Paul Tarau. Inference and Computation Mobility with Jinni. In K.R. Apt, V.W. Marek, and M. Truszczynski, editors, The Logic Programming Paradigm: a 25 Year Perspective, pages 33\u201348. Springer, 1999. ISBN 3-540-65463-1.","DOI":"10.1007\/978-3-642-60085-2_2"},{"key":"82_CR15","unstructured":"Paul Tarau and M. Boyer. Nonstandard Answers of Elementary Logic Programs. In J.M. Jacquet, editor, Constructing Logic Programs, pages 279\u2013300. J.Wiley, 1993."},{"key":"82_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/BFb0024183","volume-title":"Proceedings of Programming Language Implementation and Logic Programming","author":"P. Tarau","year":"1990","unstructured":"Paul Tarau and Michel Boyer. Elementary Logic Programs. In P. Deransart and J. Maluszy\u0144ski, editors, Proceedings of Programming Language Implementation and Logic Programming, number 456 in Lecture Notes in Computer Science, pages 159\u2013173. Springer, August 1990."},{"key":"82_CR17","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of LOPSTR\u201994","author":"P. Tarau","year":"1994","unstructured":"Paul Tarau and Veronica Dahl. Logic Programming and Logic Grammars with First-order Continuations. In Proceedings of LOPSTR\u201994, LNCS, Springer, Pisa, June 1994."},{"key":"82_CR18","doi-asserted-by":"crossref","unstructured":"Philip Wadler. Monads and composable continuations. Lisp and Symbolic Computation, pages 1\u201317, 1993.","DOI":"10.1007\/BF01019944"}],"container-title":["Lecture Notes in Computer Science","Computational Logic \u2014 CL 2000"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44957-4_82","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T13:33:07Z","timestamp":1558272787000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44957-4_82"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540677970","9783540449577"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-44957-4_82","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]},"assertion":[{"value":"15 December 2000","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}