The SICP lectures on logic programming will provide some conceptual background if needed. http://ocw.mit.edu/courses/electrical-engineering-and-computer-scienc

The SICP lectures on logic programming will provide some conceptual background if needed. http://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-001-structure-and-interpretation-of-computer-programs-spring-2005/video-lectures/8a-logic-programming-part-1/ http://ocw.mit.edu/courses/electrical-engineering-and-comput...