Critères pour un langage de spécification

• Pas de récursion explicite

• Ne parler que des points d'intérêt

• Une gestion simple de l'environnement

• Permettre la combinaison de règles (gestion de points de vue)

• Gérer automatiquement la question des déclarations en avant

• Faciliter la gestion des erreurs