https://bookem.ir/books/2148828-Applications-of-Declarative-Programming-and-Knowledge-Management