The language is intriguing, combining logical and functional paradigms is potentially very powerful. That being said, a quick read of the document doesn't quite illustrate how to harness the [potential] power. Most of the language description is a rehash of Haskell, and the examples focus on simple problems solved purely functionally in a Haskell-like style. Then, mysteriously, we jump into Web programming. I'm a bit at a loss on why logical programming is relevant to generating HTML-formatted pages from a database, though, to be fair, I lightly skimmed that chapter.
I wish there were another tutorial, assuming familiarity with Haskell and focusing on problems that are difficult to solve in Haskell and/or simpler to solve using functional logical programming. Perhaps would also help if the search algorithm were a exemplified in more depth.
> This book is about programming in Curry, a general-purpose declarative programming language
that integrates functional with logic programming
Its interesting that Haskell Brooks Curry, a logician after whom this language has (presumably?) been named, has had a programming language named after all three parts of his name.
Haskell was famously designed by committee. They also decided the name of the language by committee, and settled on Curry.
Later (I suspect over beer), two or three people from the committee thought that was too ridiculous and just unilaterally decided to go with Haskell instead.
I wish there were another tutorial, assuming familiarity with Haskell and focusing on problems that are difficult to solve in Haskell and/or simpler to solve using functional logical programming. Perhaps would also help if the search algorithm were a exemplified in more depth.