Has anyone experience with "Curry" (functional logic programming)? If it has all the advantages of Haskell plus some possibilities of logical languages, it should be really interesting for experimental approaches.

http://www-ps.informatik.uni-kiel.de/currywiki/