Habilitation à Diriger des Recherches

Les avantages de la méthode:

  • Formalisme déclaratif et exécutable
  • Filtrage, unification, non-déterminisme
  • Plus haut niveau d'abstraction que GA et SOS
  • Interprétation opérationnelle
  • Basée sur la logique, propice aux preuves
    (travaux de J. Despeyroux, D. Terrasse, Y. Bertot, R. Fraer)