https://intlibrary.ir/download/applications-of-declarative-programming-and-knowle-28543/