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

par Jean-Luc Guérin

Thèse de doctorat en Contrôle des Systèmes

Sous la direction de Paul Y. Gloess.

Soutenue en 1991

à Compiègne .


  • Résumé

    La thèse que nous défendons est que la programmation visuelle offre de nombreux avantages pour la représentation des connaissances logiques. C'est dans ce but que nous avons défini et implémenté le langage graphique Grafolog (graphique, objets, et logique) qui permet à un utilisateur de représenter graphiquement des relations entre objets logiques. L'utilisateur définit et interroge des connaissances en dessinant, dans un formalisme graphique unifié. Notre manuscrit commence par un état de l'art, illustre de nombreux exemples, sur la visualisation de programmes et la programmation visuelle. Dans cette présentation, nous essayons de réaliser un classement des différentes approches pouvant être rencontrées aujourd'hui dans ces deux domaines. Le chapitre suivant est consacré à une brève description du prolog orienté objet sous-jacent à notre système, U-Log, conçu et développé par Paul Y. Gloess à l'université de technologie de Compiègne. Le troisième chapitre décrit Grafolog en tant que langage graphique. La description de la sémantique de notre langage y est effectuée par référence au modèle objet logique D’U-Log. L'idée de base de Grafolog, consiste à représenter les objets logiques par des boites, et les relations entre objets par des flèches. Bien qu'apparemment très simple, ce formalisme s'avère d'une grande puissance expressive, tout en s'affranchissant complètement de l'utilisation de variables. Nous terminons ce chapitre par une discussion des différentes applications possibles de notre système: interface pour base de données, enseignement de prolog, mise au point et explication graphique. Ce dernier point est rendu possible par le dessin du schéma d'interférence D’U-Log en Grafolog. Le dernier chapitre concerne l'implémentation de notre système et plus particulièrement la manière dont a été réalisé 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 différents outils disponibles pour faciliter l'utilisation du langage graphique.

  • Titre traduit

    Graolog : a graphic programming system for logic and objects without variables


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Annexes : 81 ref.

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université de Technologie de Compiègne. Service Commun de la Documentation.
  • Disponible pour le PEB
  • Cote : 1991 GUE 393
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.