https://bookem.ir/books/2493498-Deductive-and-Declarative-Programming