Intelligent Backtracking in And-Parallel Prolog

Sorry, there's nothing here.

Cite this paper

@inproceedings{Verden1991IntelligentBI, title={Intelligent Backtracking in And-Parallel Prolog}, author={Andrew Roy Verden and Hugh Glaser}, booktitle={Declarative Programming}, year={1991} }