Aspect-Oriented Logic Meta Programming

Aspect-oriented logic meta programming is an approach towards aspect-orientation based on representing programs as logic facts and describing aspects as logic meta-programs that crosscutt the base level modularity. This allows new more specific aspect-languages to be defined in terms of pre-existing apsect-languages. We are currently investigating how a model of aspects as encapsulated logic meta programs can be used to support combinations of aspect languages.