https://bookem.ir/books/2192318-Parallel-Logic-Programming-in-Parlog