Tu Van Le.
Techniques of Prolog Programming: with implementation of logical negation and quantified goals.
Wiley. 1993
(read but not reviewed)