A Prolog Compendium
(pdf) by Marc Bezem.
This is an excellent conceptual overview of Prolog
suitable for the logic programming component of a
Principles of Programming Languages course.
Anne Ogborn, Real World Programming in SWI-Prolog: http://www.pathwayslms.com/swipltuts/index.html
"PrologResources", http://www.whoishostingthis.com/resources/prolog/