Absolutely. While some of the other introductions to Prolog cover the language quite well (_Programming in Prolog_ by Clocksin & Mellish is good), _The Art of P

Absolutely. While some of the other introductions to Prolog cover the language quite well (_Programming in Prolog_ by Clocksin & Mellish is good), _The Art of Prolog_ unapologetically dives headfirst into the deep ideas in logic programming, then comes back to the surface and shows how standard Prolog captures them. Its focus on the big ideas ties it less to Prolog, and it sits very comfortably next to books such as SICP and CTM. It's out of print and a bit expensive ($80-130ish), but the first edition goes for much cheaper. Prolog standardized between the two editions, and the second edition has 100+ pages of new material (including projects), but the former (closer to $6) will give you a pretty good taste.