https://bookem.ir/books/2199504-A-Grammatical-View-of-Logic-Programming
A Grammatical View of Logic Programming