Manyebook
Ehud Shapiro
The Art Of Prolog
The Art of Prolog