In the real World…

• Rule based systems can be very different

• • different rule semantics (based on various type of model theories, on proof systems, etc)
  • production rule systems, with procedural references, state transitions, etc

• Such universal exchange format is not feasible

• The idea is to define “cores” for a family of languages with “variants”