[Haskell-cafe] Is Curry alive?
gcross at phys.washington.edu
Thu Nov 4 17:13:23 EDT 2010
On 11/02/2010 08:37 PM, wren ng thornton wrote:
> Indeed. If your program requires unification or constraint solving
> then logic programming or constraint programming is the way to go.
Would you be kind enough to give me or point me towards a good example
of such a case? I've been trying to understand what the point of logic
languages is for a while now, but whenever I look at them I have trouble
seeing what exactly it is they offer that solves some problems
better/more easily than functional languages.
More information about the Haskell-Cafe