{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,25]],"date-time":"2026-06-25T21:24:30Z","timestamp":1782422670715,"version":"3.54.5"},"reference-count":39,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2010,4,1]],"date-time":"2010-04-01T00:00:00Z","timestamp":1270080000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","award":["Ha 2457\/5-2"],"award-info":[{"award-number":["Ha 2457\/5-2"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001655","name":"German Academic Exchange Service","doi-asserted-by":"publisher","award":["D\/06\/29439D\/08\/11852"],"award-info":[{"award-number":["D\/06\/29439D\/08\/11852"]}],"id":[{"id":"10.13039\/501100001655","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CCR-0110496CCR-0218224"],"award-info":[{"award-number":["CCR-0110496CCR-0218224"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["Commun. ACM"],"published-print":{"date-parts":[[2010,4]]},"abstract":"<jats:p>Combining the paradigm features of both logic and functional programming makes for some powerful implementations.<\/jats:p>","DOI":"10.1145\/1721654.1721675","type":"journal-article","created":{"date-parts":[[2010,3,30]],"date-time":"2010-03-30T12:32:23Z","timestamp":1269952343000},"page":"74-85","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":97,"title":["Functional logic programming"],"prefix":"10.1145","volume":"53","author":[{"given":"Sergio","family":"Antoy","sequence":"first","affiliation":[{"name":"Portland State University Portland, OR"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Michael","family":"Hanus","sequence":"additional","affiliation":[{"name":"University of Kiel, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2010,4]]},"reference":[{"key":"e_1_2_1_1_1","first-page":"1","article-title":"A practical partial evaluator for a multi-paradigm declarative language","author":"Albert E.","year":"2002","unstructured":"Albert , E. , Hanus , M. and Vidal , G . A practical partial evaluator for a multi-paradigm declarative language . J. Functional and Logic Programming 1 ( 2002 ). Albert, E., Hanus, M. and Vidal, G. A practical partial evaluator for a multi-paradigm declarative language. J. Functional and Logic Programming 1 (2002).","journal-title":"J. Functional and Logic Programming"},{"key":"e_1_2_1_2_1","first-page":"143","article-title":"Definitional trees. In Proceedings of the 3rd International Conference on Algebraic and Logic Programming","volume":"632","author":"Antoy S","year":"1992","unstructured":"Antoy , S . Definitional trees. In Proceedings of the 3rd International Conference on Algebraic and Logic Programming . Springer LNCS 632 , 1992 , 143 -- 157 . Antoy, S. Definitional trees. In Proceedings of the 3rd International Conference on Algebraic and Logic Programming. Springer LNCS 632, 1992, 143--157.","journal-title":"Springer LNCS"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/773184.773205"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2004.12.007"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/347476.347484"},{"key":"e_1_2_1_6_1","first-page":"67","article-title":"Functional logic design patterns. In Proceedings of the 6th International Symposium on Functional and Logic","volume":"2441","author":"Antoy S.","year":"2002","unstructured":"Antoy , S. and Hanus , M . Functional logic design patterns. In Proceedings of the 6th International Symposium on Functional and Logic . Springer LNCS 2441 , 2002 , 67 -- 87 . Antoy, S. and Hanus, M. Functional logic design patterns. In Proceedings of the 6th International Symposium on Functional and Logic. Springer LNCS 2441, 2002, 67--87.","journal-title":"Springer LNCS"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/11680093_2"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/11799573_9"},{"key":"e_1_2_1_9_1","volume-title":"Term Rewriting Systems","author":"Bezem M.","year":"2003","unstructured":"Bezem , M. , Klop , J.W. and de Vrijer , R. (eds.). Term Rewriting Systems . Cambridge University Press , 2003 . Bezem, M., Klop, J.W. and de Vrijer, R. (eds.). Term Rewriting Systems. Cambridge University Press, 2003."},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1291151.1291193"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/11506676_12"},{"key":"e_1_2_1_12_1","first-page":"316","article-title":"High-level database programming in Curry. In Proceedings of the 10th International Symposium on Practical Aspects of Declarative Languages","volume":"4902","author":"Bra\u00dfel B.","year":"2008","unstructured":"Bra\u00dfel , B. , Hanus , M. , and M\u00fcller , M . High-level database programming in Curry. In Proceedings of the 10th International Symposium on Practical Aspects of Declarative Languages . Springer LNCS 4902 , 2008 , 316 -- 332 . Bra\u00dfel, B., Hanus, M., and M\u00fcller, M. High-level database programming in Curry. In Proceedings of the 10th International Symposium on Practical Aspects of Declarative Languages. Springer LNCS 4902, 2008, 316--332.","journal-title":"Springer LNCS"},{"key":"e_1_2_1_13_1","volume-title":"Proceedings of APLAS 2007","author":"Bra\u00dfel B.","year":"2007","unstructured":"Bra\u00dfel , B. and Huch , F . On a tighter integration of functional and logic programming . In Proceedings of APLAS 2007 . Springer LNCS 4807 , 2007 , 122--138. Bra\u00dfel, B. and Huch, F. On a tighter integration of functional and logic programming. In Proceedings of APLAS 2007. Springer LNCS 4807, 2007, 122--138."},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/11737414_11"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/351240.351266"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1013963.1013969"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1273920.1273930"},{"key":"e_1_2_1_18_1","first-page":"47","article-title":"To the gates of HAL: A HAL tutorial. In Proceedings of the 6th International Symposium on Functional and Logic Programming","volume":"2441","author":"Garc\u00eda de la Banda M.J.","year":"2002","unstructured":"Garc\u00eda de la Banda , M.J. , Demoen , B. , Marriott , K. and Stuckey , P.J . To the gates of HAL: A HAL tutorial. In Proceedings of the 6th International Symposium on Functional and Logic Programming . Springer LNCS 2441 , 2002 , 47 -- 66 . Garc\u00eda de la Banda, M.J., Demoen, B., Marriott, K. and Stuckey, P.J. To the gates of HAL: A HAL tutorial. In Proceedings of the 6th International Symposium on Functional and Logic Programming. Springer LNCS 2441, 2002, 47--66.","journal-title":"Springer LNCS"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0743-1066(98)10029-8"},{"key":"e_1_2_1_20_1","first-page":"335","article-title":"Teaching functional and logic programming with a single computation model. In Proceedings of the 9th International Symposium on Programming Languages, Implementations, Logics, and Programs","volume":"1292","author":"Hanus M","year":"1997","unstructured":"Hanus , M . Teaching functional and logic programming with a single computation model. In Proceedings of the 9th International Symposium on Programming Languages, Implementations, Logics, and Programs . Springer LNCS 1292 , 1997 , 335 -- 350 . Hanus, M. Teaching functional and logic programming with a single computation model. In Proceedings of the 9th International Symposium on Programming Languages, Implementations, Logics, and Programs. Springer LNCS 1292, 1997, 335--350.","journal-title":"Springer LNCS"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1140335.1140341"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/1778180.1778187"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1389449.1389459"},{"key":"e_1_2_1_24_1","first-page":"76","article-title":"Programming autonomous robots","author":"Hanus M.","year":"2002","unstructured":"Hanus , M. and H\u00f6ppner , K . Programming autonomous robots in Curry. Electronic Notes in Theoretical Computer Science , 76 , 2002 . Hanus, M. and H\u00f6ppner, K. Programming autonomous robots in Curry. Electronic Notes in Theoretical Computer Science, 76, 2002.","journal-title":"Curry. Electronic Notes in Theoretical Computer Science"},{"key":"e_1_2_1_25_1","volume-title":"Proceedings 12th International Workshop on Functional and (Constraint) Logic Programming","author":"Hanus M.","year":"2003","unstructured":"Hanus , M. and Huch , F . An open system to support Web-based learning . In Proceedings 12th International Workshop on Functional and (Constraint) Logic Programming , 2003 , 269--282. Hanus, M. and Huch, F. An open system to support Web-based learning. In Proceedings 12th International Workshop on Functional and (Constraint) Logic Programming, 2003, 269--282."},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-92995-6_2"},{"key":"e_1_2_1_27_1","volume-title":"Curry: An integrated functional logic language (vers. 0.8.2","author":"Hanus M.","year":"2006","unstructured":"Hanus , M. , Ed . Curry: An integrated functional logic language (vers. 0.8.2 , 2006 ); http:\/\/www.curry-language.org\/. Hanus, M., Ed. Curry: An integrated functional logic language (vers. 0.8.2, 2006); http:\/\/www.curry-language.org\/."},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(92)90026-Y"},{"key":"e_1_2_1_29_1","first-page":"1","article-title":"Programming in an integrated functional and logic language","volume":"3","author":"Lloyd J","year":"1999","unstructured":"Lloyd . J . Programming in an integrated functional and logic language . J. Functional and Logic Programming 3 , 1 ( 1999 ), 1--49. Lloyd. J. Programming in an integrated functional and logic language. J. Functional and Logic Programming 3, 1 (1999), 1--49.","journal-title":"J. Functional and Logic Programming"},{"key":"e_1_2_1_30_1","first-page":"244","article-title":"A multiparadigm declarative system. In Proceedings of RTA'99","volume":"1631","author":"L\u00f3pez-Fraguas F.","year":"1999","unstructured":"L\u00f3pez-Fraguas , F. and S\u00e1nchez-Hern\u00e1ndez , J. TOY : A multiparadigm declarative system. In Proceedings of RTA'99 . Springer LNCS 1631 , 1999 , 244 -- 247 . L\u00f3pez-Fraguas, F. and S\u00e1nchez-Hern\u00e1ndez, J. TOY: A multiparadigm declarative system. In Proceedings of RTA'99. Springer LNCS 1631, 1999, 244--247.","journal-title":"Springer LNCS"},{"key":"e_1_2_1_31_1","first-page":"100","article-title":"Implementing encapsulated search for a lazy functional logic language. In Proceedings of the 4th Fuji International Symposium on Functional and Logic Programming","volume":"1722","author":"Lux W","year":"1999","unstructured":"Lux , W . Implementing encapsulated search for a lazy functional logic language. In Proceedings of the 4th Fuji International Symposium on Functional and Logic Programming . Springer LNCS 1722 , 1999 , 100 -- 113 . Lux, W. Implementing encapsulated search for a lazy functional logic language. In Proceedings of the 4th Fuji International Symposium on Functional and Logic Programming. Springer LNCS 1722, 1999, 100--113.","journal-title":"Springer LNCS"},{"key":"e_1_2_1_32_1","volume-title":"The Definition of Standard ML","author":"Milner R.","year":"1990","unstructured":"Milner , R. , Tofte , M. and Harper , R . The Definition of Standard ML . MIT Press , 1990 . Milner, R., Tofte, M. and Harper, R. The Definition of Standard ML. MIT Press, 1990."},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.5555\/280586"},{"key":"e_1_2_1_34_1","volume-title":"Haskell 98 Language and Libraries---The Revised Report","author":"Peyton Jones S.","year":"2003","unstructured":"Peyton Jones , S. ( Ed ). Haskell 98 Language and Libraries---The Revised Report . Cambridge University Press , 2003 . Peyton Jones, S. (Ed). Haskell 98 Language and Libraries---The Revised Report. Cambridge University Press, 2003."},{"key":"e_1_2_1_35_1","volume-title":"Proceedings of the IEEE International Symposium on Logic in Computer Science","author":"Reddy U.S.","year":"1985","unstructured":"Reddy , U.S. Narrowing as the operational semantics of functional languages . In Proceedings of the IEEE International Symposium on Logic in Computer Science ( Boston , 1985 ), 138--151. Reddy, U.S. Narrowing as the operational semantics of functional languages. In Proceedings of the IEEE International Symposium on Logic in Computer Science (Boston, 1985), 138--151."},{"key":"e_1_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2006.10.040"},{"key":"e_1_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/321850.321859"},{"key":"e_1_2_1_38_1","first-page":"324","article-title":"The Oz programming model. Computer Science Today: Recent Trends and Developments. J. van Leeuwen (Ed)","volume":"1000","author":"Smolka G","year":"1995","unstructured":"Smolka , G . The Oz programming model. Computer Science Today: Recent Trends and Developments. J. van Leeuwen (Ed) . Springer LNCS 1000 , 1995 , 324 -- 343 . Smolka, G. The Oz programming model. Computer Science Today: Recent Trends and Developments. J. van Leeuwen (Ed). Springer LNCS 1000, 1995, 324--343.","journal-title":"Springer LNCS"},{"key":"e_1_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0743-1066(96)00068-4"}],"container-title":["Communications of the ACM"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1721654.1721675","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1721654.1721675","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:23:38Z","timestamp":1750249418000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1721654.1721675"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,4]]},"references-count":39,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2010,4]]}},"alternative-id":["10.1145\/1721654.1721675"],"URL":"https:\/\/doi.org\/10.1145\/1721654.1721675","relation":{},"ISSN":["0001-0782","1557-7317"],"issn-type":[{"value":"0001-0782","type":"print"},{"value":"1557-7317","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,4]]},"assertion":[{"value":"2010-04-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}