To Parse or Not to Parse to Parse or Not to Parse

Abstract

Writing meta interpreters is a well-known technique to enhance the expressive power of logic programs. However, the resulting interpretation overhead considerably slows down program execution. A natural approach to solving this eeciency problem consists in specialising the interpreter with respect to a given object program, thus removing the overhead. Fully achieving the latter goal however, turns out to be a non trivial task. Satisfying results could often only be obtained at the cost of using not fully automatic and/or ad hoc techniques. In this paper, we reconsider the problem of specialising the vanilla meta interpreter through fully automatic and completely general methods. In particular, we study how the homeomorphic embedding relation guides specialisation of the interpreter. We focus on the so-called parsing problem, i.e. in essence removing meta-interpretation overhead, in particular parsing conjunctive goals, and demonstrate that further control reenements are necessary to properly deal with it. In particular, we modify local control on the basis of information imported from the global level. Subsequently, we use this technique to specialise an extended meta interpreter, dealing with compositions of logic programs, and obtain satisfying results. Abstract Writing meta interpreters is a well-known technique to enhance the expressive power of logic programs. However, the resulting interpretation overhead considerably slows down program execution. A natural approach to solving this eeciency problem consists in specialising the interpreter with respect to a given object program, thus removing the overhead. Fully achieving the latter goal however, turns out to be a non trivial task. Satisfying results could often only be obtained at the cost of using not fully automatic and/or ad hoc techniques. In this paper, we reconsider the problem of specialising the vanilla meta interpreter through fully automatic and completely general methods. In particular, we study how the homeomorphic embedding relation guides specialisation of the interpreter. We focus on the so-called parsing problem, i.e. in essence removing meta-interpretation overhead, in particular parsing conjunctive goals, and demonstrate that further control reenements are necessary to properly deal with it. In particular, we modify local control on the basis of information imported from the global level. Subsequently, we use this technique to specialise an extended meta interpreter, dealing with compositions of logic programs, and obtain satisfying results.

Cite this paper

@inproceedings{Vanhoof1997ToPO, title={To Parse or Not to Parse to Parse or Not to Parse}, author={Wim Vanhoof and Bern Martens}, year={1997} }