Everything by Oleg Kiselyov is great. Here's the link to the slides for the talk, and code for the examples in the paper:

http://okmij.org/ftp/kakuritu/logic-programming.html#vs-prol...

...and to his home page:

http://okmij.org/ftp/