Karam, Gerald M. Computational Improvements in Prolog Applications by Predicate Variable Pointers - 490-497 p. Subjects--Topical Terms: CompilersComputational ComplexityData Structures