Titre du document / Document title

GrafOLog: a graphic language for logic and object without variables

Auteur(s) / Author(s)

GUERIN J.-L. ⁽¹⁾ ; GLOESS P. Y. ⁽²⁾ ;

Affiliation(s) du ou des auteurs / Author(s) Affiliation(s)

⁽¹⁾ CNRS Univ. technologie Compiègne, div. informatique, 60206 Compiègne, FRANCE
⁽²⁾ CNRS Univ. Bordeaux, ENSERB, 33405 Talence, FRANCE

Résumé / Abstract

GrafOLog est un langage de programmation visuelle pour la représentation de connaissances exprimées sous une forme logique. Dans cet article, nous traitons essentiellement la description de notre formalisme graphique et de sa sémantique. Bien que très simple, ce formalisme s'avère d'une grande puissance expressive tout en s'affranchissant de l'utilisation des variables Prolog. Nous terminons par une discussion sur les différentes applications possibles de notre système: interface d'une base de données déductive, enseignement de Prolog, débogage et explication de preuves. Cette dernière application étant rendue possible grâce à une définition graphique de l'inférence en GrafOLog

Revue / Journal Title

Revue d'intelligence artificielle   ISSN 0992-499X 

Source / Source

1993, vol. 7, n^o1, pp. 73-93 (13 ref.)

Langue / Language

Anglais

Editeur / Publisher

Lavoisier, Paris, FRANCE  (1987) (Revue)

Mots-clés anglais / English Keywords

Logical programming ; Theory ; Programming ; Visual programming ; Programming without variable ; Logical object ; Meta-circularity ;

Mots-clés français / French Keywords

Programmation logique ; Théorie ; Programmation ; Programmation visuelle ; Programmation sans variable ; Objet logique ; Méta-circularité ;

Mots-clés espagnols / Spanish Keywords

Programación lógica ; Teoría ; Programación ;

Localisation / Location

INIST-CNRS, Cote INIST : 21320, 35400003606168.0030