Curry: A Tutorial Introduction [pdf]
www-ps.informatik.uni-kiel.de
www-ps.informatik.uni-kiel.de
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.
However, it seems like Curry has logic programming features similar to Prolog. The Wikipedia page has some more interesting examples.
https://en.m.wikipedia.org/wiki/Curry_(programming_language)
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.
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.
Edit: Look for "Choosing a Name" in http://haskell.cs.yale.edu/wp-content/uploads/2011/02/histor... if you want the actual story, and not my faulty memory.