https://bookem.ir/books/1629716-Declarative-Programming-for-Knowledge-Management