Analyzing data dependencies, detecting AND-parallelism and optimizing backtracking in prolog programsby Hong XiaWriting a summary for young readers…For young readersBook data: Open Library