arXiv · cmp-lg/9604019
Magic for Filter Optimization in Dynamic Bottom-up Processing
Abstract
Off-line compilation of logic grammars using Magic allows an incorporation of filtering into the logic underlying the grammar. The explicit definite clause characterization of filtering resulting from Magic compilation allows processor independent and logically clean optimizations of dynamic bottom-up processing with respect to goal-directedness. Two filter optimizations based on the program transformation technique of Unfolding are discussed which are of practical and theoretical interest.
Explore related subjects
Keep this discovery
Guido Minnen. 1996-04-29. Magic for Filter Optimization in Dynamic Bottom-up Processing. https://arxiv.org/abs/cmp-lg/9604019
Cite the original work for its findings. Save a collection to share your selection of sources.