University of Oxford: Michael Spivey's "An Introduction to Logic Programming through Prolog"
Read Chapter 1 for an introduction to logic programming.
Click http://spivey.oriel.ox.ac.uk/wiki2/files/logprog/logic.pdf link to open resource.
Read Chapter 1 for an introduction to logic programming.