Abstract FR:

Le cadre de cette thèse est la manipulation de spécifications de logiciels sous la forme de prototypes exploratoires en Prolog. Un modèle multivue est introduit pour manipuler ce prototype de manière textuelle ou visuelle. L'utilisation des lois de la graphique de Bertin nous permet de proposer une représentation graphique qui se libère de beaucoup de contraintes textuelles et autorise une véritable programmation visuelle. La coopération entre les vues visuelle et textuelle est réalisée en adaptant à la structuration de prototypes Prolog des travaux de la structure mentale des images (théorie des codes duaux, théorie multicode). Chaque vue est proposée pour des classes de clauses Prolog ou son apport est optimal, mais une utilisation des deux vues en parallèle reste possible. Une approche multistyle de la négation permet la mise en œuvre d'une démarche pragmatique exploitant au mieux les résultats de différents travaux théoriques sur ce sujet. L’objectif est de permettre la construction d'un prototype Prolog au plus haut niveau d'expression. On autorise ainsi au programmateur de préciser de manière incrémentale une quantification universelle ou existentielle des variables libres d'un littéral nié