At the moment of writing, the most suitable books to use in conjunction with these notes are [Clocksin & Mellish, 1984] and [Bratko, 1986] (both now exist in new versions). The manual for the version of Prolog actually used is [SICStus, 1988] which is very similar to [Bowen, 1981].
For those with a more ambitious turn of mind then [Sterling & Shapiro, 1986] must be very highly recommended. The book by Richard O'Keefe is also highly recommended but quite hard work [O'Keefe, 1990]. Slightly less useful but worth a read is [Kluzniak & Szpakowicz, 1985].
A simpler approach can be found in [Burnham & Hall, 1985].
A number of books exist outlining the Imperial College variant of Prolog known as micro-Prolog. Generally, it is wiser to stay with the DEC-10 family of Prologs until you are more confident. The useful books are [Ennals, 1982] for a very simple introduction and [Clark & McCabe, 1984] for a more ambitious and determined student. The best book on the market is probably [Conlon, 1985].
For reading further afield then [Kowalski, 1979] is probably the classic. Also, [Hogger, 1984] is a very worthwhile introduction to logic programming. The work of Lloyd provides those interested in theory with a very thorough analysis of the foundations of logic programming [Lloyd, 1987]. Further ideas for reading can be gleaned from [Balbin & Lecot, 1985].