Books
This is a topic under programming-languages.
Logic Programming with Prolog (2005)
The Power of Prolog (2018)