Content deleted Content added
m →Non-determinism: Fix author namae |
m Add reference to survey article |
||
Line 24:
}}
'''Curry''' is a [[declarative programming]] language, an implementation of the [[functional logic programming]] paradigm,<ref>{{cite web |editor-last=Hanus |editor-first=Michael |title=Curry: A Truly Integrated Functional Logic Language |url=https://www.curry-lang.org/documentation/report/}}</ref><ref>{{cite journal |last1=Sergio |first1=Antoy |last2=Hanus |first2=Michael |year=2010 |title=Functional Logic Programming |journal=Communications of the ACM |volume=53 |issue=4 |pages=74–85 |publisher=ACM |doi=10.1145/1721654.1721675 |s2cid=14578759}}</ref><ref>{{cite book |last=Hanus |first=Michael |title=Programming Logics - Essays in Memory of Harald Ganzinger |chapter=Functional Logic Programming: From Theory to Curry |series=Lecture Notes in Computer Science |year=2013 |doi=10.1007/978-3-642-37651-1_6 |volume=7797 |pages=123-168 |isbn=978-3-642-37650-4}}</ref> and based on the [[Haskell]] language. It merges elements of functional and logic programming,<ref name="Curry and Curl programming languages">
{{cite web |title=Curry experimental programming language |url=https://www.mvps.net/docs/curry-and-curl-programming-languages |website=MVPS.net |access-date=2 September 2021}}</ref> including [[constraint programming]] integration.
| |||