https://bookem.ir/books/1656119-An-introduction-to-programming-in-Prolog