https://bookem.ir/books/3664594-Logic-Based-Program-Synthesis-and-Transformation