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