University of Oxford: Michael Spivey's "An Introduction to Logic Programming through Prolog"

Read Chapter 1 for an introduction to logic programming.