After introducing the basic notions of reflective logic and internal strategies, we discuss in detail ho reflection can be systematically exploited to design a strategy language internal to a reflective logic in the concrete case of rewriting logic and Maude: and we illustrate the advantages of this new approach to strategies by showing hoe the rules of inference for Knuth-Bendix completion can be given strategies corresponding to completion procedures in a completely modular way, not requiring any change whatsoever to the inference rules themselves.

• cade97.ps