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