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.

Authors

Robert M. Colomb

This author has not been identified. Look up 'Robert M. Colomb' in Google