Habilitation à Diriger des Recherches

Prolog: élégance et convivialité

  • travaux de T. Despeyroux, L. Théry (Centaur)
    • traduction directe
    • outils de contrôle
    • outils de visualisation

    • problèmes de passage à l'échelle
    • sémantique opérationnelle de Prolog