--books which provide a theoretical basis for logic programming

--books which describe how to write programs in Prolog (sometimes even in particular

Prolog systems)

--books which describe alternative logic programming languages like constraint

logic programming, deductive databases or concurrent logic programming.