TY  - SER
AU  - Karam, Gerald M.
TI  - Computational Improvements in Prolog Applications by Predicate Variable Pointers
KW  - Compilers
KW  - Computational Complexity
KW  - Data Structures
ER  -