Participants : Salimeh Benhia, Thierry Despeyroux
Mots clefs : Prolog
Nous avons étudié une extension de la mécanique d'exécution de spécifications TYPOL dans laquelle la stratégie d'exécution est paramétrable par l'utilisateur. A terme, ce travail doit permettre d'exécuter une plus large classe de spécifications de sémantique naturelle. Ce travail a été décrit dans un rapport de DEA [14].