Semi-Intelligent Backtracking of Prolog Based on Static Data Dependency Analysis

@inproceedings{Chang1985SemiIntelligentBO,
  title={Semi-Intelligent Backtracking of Prolog Based on Static Data Dependency Analysis},
  author={Jung-Herng Chang and Alvin M. Despain},
  booktitle={SLP},
  year={1985}
}

From This Paper

Topics from this paper.

Similar Papers

Loading similar papers…