An Intelligent Backtracking Algorithm for Parallel Execution of Logic Programs

Cite this paper

@inproceedings{Lin1986AnIB, title={An Intelligent Backtracking Algorithm for Parallel Execution of Logic Programs}, author={Yow-Jian Lin and Vipin Kumar and Clement H. C. Leung}, booktitle={ICLP}, year={1986} }