>>5
I have not read Programming in Prolog, but Clause and Effect recommends it in its preface:
Clause and Effect_ can be a useful companion to two other books. The beginner might use __Clause and Effect as a sequel to the introductory text Programming in Prolog. The more experienced programmer may start with Clause and Effect and be writing useful programs within a few hours.