Logic Programming and Prolog. A very good, classic book on logical foundations of Prolog and ideas of logic programming with numerous examples is the one by Ulf Nilsson and Jan Małuszyński. You can download the .pdf file. Highly recommended.
Prolog Programming in Depth Another, more practical book. Numerous example solutions and lines of Prolog code.
A. Niederliński: Programowanie w logice z ograniczeniami. Łagodne wprowadzenie dla platformy ECLiPSe. PKJS, Gliwice 2010, 308 + XVIII stron. Strona ksiązki: Programowanie w logice z ograniczeniami