Tutorial
Logic Programming Automated Reasoning in practice.
Logic Programming
Logic for Computer Science