The Craft of Prolog is also very much worth looking into.
A related approach is ASP, which combines SAT with logic programming. These are the two canonical books:
* Answer Set Programming: https://www.cs.utexas.edu/users/vl/teaching/378/ASP.pdf
* Answer Set Solving in Practice: https://potassco.org/book