इसका टेक्स्ट मैसेज भेजे : Analyzing data dependencies, detecting AND-parallelism and optimizing backtracking in prolog programs /