https://bookem.ir/books/1646544-Introduction-to-Logic-Programming-Through-PROLOG