https://bookem.ir/books/2464010-Applications-Of-Declarative-Programming-And-Knowledge-Management