Micha Meier

Learn More
A partial evaluator for Prolog takes a program and a query and returns a program specialized for all instances of that query. The intention is that the generated program will execute more efficiently than the original one for those instances. This thesis presents " Mixtus " , an automatic partial evaluator for full Prolog, i.e. including non-logical(More)