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.