Comment by mycl

The Art of Prolog is now open access: https://mitpress.mit.edu/books/art-prolog-second-edition

You could think of it as "SICP for Prolog".