Enhancing Unification in Prolog through Clause Indexing

Robert M. Colomb. Enhancing Unification in Prolog through Clause Indexing. Journal of Logic and Algebraic Programming, 10(1/2/3&4):23-44, 1991.

@article{Colomb91,
  title = {Enhancing Unification in Prolog through Clause Indexing},
  author = {Robert M. Colomb},
  year = {1991},
  tags = {Prolog},
  researchr = {https://researchr.org/publication/Colomb91},
  cites = {0},
  citedby = {0},
  journal = {Journal of Logic and Algebraic Programming},
  volume = {10},
  number = {1/2/3&4},
  pages = {23-44},
}