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].