Improving Prolog Inference Mechanism in Dependence Theory

• 利用相关性理论改进prolog的推理机制