Principles and Practice of Unification Factoring

@article{Dawson1996PrinciplesAP,
  title={Principles and Practice of Unification Factoring},
  author={Steven Dawson and C. R. Ramakrishnan and Steven Skiena and Theresa Swift},
  journal={ACM Trans. Program. Lang. Syst.},
  year={1996},
  volume={18},
  pages={528-563}
}
The efficiency of resolution-based logic programming languages, such as Prolog, depends critically on selecting and executing sets of applicable clause heads to resolve against subgoals. Traditional approaches to this problem have focused on using indexing to determine the smallest possible applicable set. Despite their usefulness, these approaches ignore the nondeterminism inherent in many programming languages to the extent that they do not attempt to optimize execution after the applicable… CONTINUE READING