I have several books on Prolog that I still need to get through, but the one I have read (and need to finish) is Thinking as Computation. It’s a great book.