The Art of Prolog and PAIP are full of small Prolog usecases. The Craft of Prolog is also very much worth looking into. A related approach is ASP, which combi

The Art of Prolog and PAIP are full of small Prolog usecases. 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 https://www.cs.utexas.edu/users/vl/teaching/378/ASP.pdf * Answer Set Solving in Practice: https://potassco.org/book https://potassco.org/book