Analyzing data dependencies, detecting AND-parallelism and optimizing backtracking in prolog programs

Xia, H.H.Xia2022-03-062022-03-061989https://publica.fraunhofer.de/handle/publica/271733en004005006Analyzing data dependencies, detecting AND-parallelism and optimizing backtracking in prolog programsdoctoral thesis