https://bookem.ir/books/2080187-Declarative-Programming-and-Knowledge-Management