Grafolog : un système de programmation logique et objets sans variables par le dessin

La these que nous defendons est que la programmation visuelle offre de nombreux avantages pour la representation des connaissances logiques. C'est dans ce but que nous avons defini et implemente le langage graphique Grafolog (graphique, objets, et logique) qui permet a un utilisateur de representer graphiquement des relations entre objets logiques. L'utilisateur definit et interroge des connaissances en dessinant, dans un formalisme graphique unifie. Notre manuscrit commence par un etat de l'art, illustre de nombreux exemples, sur la visualisation de programmes et la programmation visuelle. Dans cette presentation, nous essayons de realiser un classement des differentes approches pouvant etre rencontrees aujourd'hui dans ces deux domaines. Le chapitre suivant est consacre a une breve description du prolog oriente objet sous-jacent a notre systeme, U-Log, concu et developpe par Paul Y. Gloess a l'universite de technologie de Compiegne. Le troisieme chapitre decrit Grafolog en tant que langage graphique. La description de la semantique de notre langage y est effectuee par reference au modele objet logique D’U-Log. L'idee de base de Grafolog, consiste a representer les objets logiques par des boites, et les relations entre objets par des fleches. Bien qu'apparemment tres simple, ce formalisme s'avere d'une grande puissance expressive, tout en s'affranchissant completement de l'utilisation de variables. Nous terminons ce chapitre par une discussion des differentes applications possibles de notre systeme: interface pour base de donnees, enseignement de prolog, mise au point et explication graphique. Ce dernier point est rendu possible par le dessin du schema d'interference D’U-Log en Grafolog. Le dernier chapitre concerne l'implementation de notre systeme et plus particulierement la maniere dont a ete realise le lien entre Grafolog et U-Log. En annexe, nous donnons un manuel d'utilisation de Grafolog dans sa version actuelle. Cette partie met l'accent sur l'interface graphique et les differents outils disponibles pour faciliter l'utilisation du langage graphique.