Technique de résolution de proformes enchâssées

Nous présentons une technique de résolution de proformes enchâssées à l’aide des métastructures Prolog. Nous montrons tout d’abord un exemple d’utilisation de ces métastructures pour contrôler l’appartenance d’un élément à un domaine. Une plus grande utilité est ensuite démontrée dans la résolution de contraintes contextuelles dynamiques, qui sont particulières dans le sens où elles interviennent en fonction des contraintes déjà existantes sur les éléments considérés. Une application utile de ces contraintes est d’éviter les redondances dans la recherche des possibilités de référents pour un discours considéré, notamment dans le cas de proformes enchâssées.