1-3 of 3 Books
From logic design to logic programming
By Dominique Snyers
Logic and declarative language
By Michael Downward
Foundations of Disjunctive Logic Programming
By Jorge Lobo