https://bookem.ir/books/2141884-Program-Development-in-Computational-Logic