|
Curry combines in a seamless way features from functional programming (nested expressions, higher-order functions, lazy evaluation), logic programming (logical variables, partial data structures, built-in search), and concurrent programming (concurrent evaluation of expressions with synchronization on logical variables). Moreover, Curry provides additional features in comparison to the pure languages (compared to functional programming: search, computing with partial information; compared to logic programming: more efficient evaluation due to the deterministic and demand-driven evaluation of functions).
Interesting, though it doesn't seem to have had much activity since 2000 or so. See also a discussion here of Mercury, another blend of the logic and functional paradigms.
Posted to Logic/Declerative by Bryn Keller on 2/13/02; 4:25:26 PM
|
|
Curry - A Truly Integrated Functional Logic Language
