is Curry a transitional language from FP to Logic Programming (Haskell to Prolog), like Scala is a transitional language from imperative to FP (Java to Haskell)?

I find it hard to come up with a picture in my head to determine if adding functional lazy computation capabilities to a declarative logic/algebra system like the Prolog-family languages, is just serving the purpose of making it easier to migrate, by making FP algorithms and idioms directly portable, or does it actually add something paradigmatically useful to the already expressive logic programming and constrait solving paradigm?

  • 1
    why do people downvote without explaining? this is not stack overflow where most questions are banned! get real! – Erik Kaplun Jan 19 '16 at 11:30
  • 1
    no, this is Programmers, where all questions are banned ;-) So, try not to take an anonymous downvote too personally... – Erik Eidt Jan 19 '16 at 16:56

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.