A reflective language based on conditional term rewriting

Meta-computation is a computational mechanism that allows computational systems to read and modify meta-objects that represent the current state of its own computation. Implementing meta-computation by high-level language enables us to access meta-level with high-abstract interface. In recent years this notion can be found in several fields of computer science and artificial intelligence. In particular, in the field of intelligent systems meta-computation is often called meta-inference and plays an important role for designing complex systems. We introduce reflective-computation mechanisms into a conditional term rewriting system-based language and discuss about their implementation and application.