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