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-

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-prolog http://okmij.org/ftp/kakuritu/logic-programming.html#vs-prol... ...and to his home page: http://okmij.org/ftp/ http://okmij.org/ftp/