Dans le monde réel…

• Les systèmes de règles peuvent être très différents

• • sémantiques différentes (aux niveaux des modèles, des systèmes de preuves, …)
  • différences avec les règles de production (références à des procédures, transitions d’états, etc)

• Ce genre de langage universel n’est pas faisable