https://bookem.ir/books/1907365-Introduction-to-Logic-Programming
Introduction to Logic Programming