The SICP lectures on logic programming will provide some conceptual background if needed.

http://ocw.mit.edu/courses/electrical-engineering-and-comput...