Paper: Magic For Filter Optimization In Dynamic Bottom-Up Processing

ACL ID P96-1033
Title Magic For Filter Optimization In Dynamic Bottom-Up Processing
Venue Annual Meeting of the Association of Computational Linguistics
Session Main Conference
Year 1996
Authors

Off-line compilation of logic grammars us- ing Magic allows an incorporation of fil- tering into the logic underlying the gram- mar. The explicit definite clause charac- terization of filtering resulting from Magic compilation allows processor independent and logically clean optimizations of dy- namic bottom-up processing with respect to goal-directedness. Two filter optimizations based on the program transformation tech- nique of Unfolding are discussed which are of practical and theoretical interest.