Next:
The RELFUN Implementation
Up:
Indexing PROLOG Procedures into
Previous:
Compiling Higher Order
Indexing in RELFUN
The RELFUN Implementation Structure
Compilation Phases
A Classifier with Indexing Heuristics
A Code Generator with Indexing Heuristics
Summary: Heuristic Classification