Participant : Thierry Despeyroux
Mots clefs : Lambda-Prolog, Prolog, analyse syntaxique, modularité, sémantique naturelle, syntaxe abstraite Nous avons continué notre travail sur les extensions des formalismes de spécification de langage pour en augmenter la modularité, y permettre l'utilisation de la syntaxe d'ordre supérieur, permettre plus aisément la dérivation d'outils indépendants de l'atelier Centaur et étendre la classe de questions exprimables en sémantique naturelle.
De premiers résultats sont déjà obtenus dans le domaine syntaxique où une version initiale d'un nouvel outil est réalisée et en partie bootstrappée (le langage de spécification peut être utilisé pour se décrire lui-même). Ce nouveau langage utilise des schémas qui permettent d'augmenter la modularité. Une expérience d'utilisation sur la syntaxe du langage C permet de conclure à une facilité d'expression, une concision et une maintenabilité meilleures, bien que les performances à l'utilisation soient plus faibles. De ce point de vue, la mise en oeuvre d'optimisations a commencé.
L'ensemble de ces travaux utilise une exécution Prolog et permet d'envisager de construire des programmes Prolog ou Lambda-Prolog indépendants à partir de spécifications Centaur.