Visual Logic Programming by Means of Diagram Transformations
Informations
Type:
inproceedings
Auteurs:
Jordi Puigsegur and Jaume Agustí-Cullell
Pertinence:
Haute
Référence:
Doi:
Mots-clés:
Url:
https://www.semanticscholar.org/paper/Visual-Logic-Programming-by-Means-of-Diagram-Puigsegur-Agust%C3%AD-Cullell/4ba0f4982f72a4e0493f12cf97ea656e60614aae
Date de publication:
12/1997
Résumé:
Création d'un langage logique visuel. Semble plus adapté à la compréhension pas l'humain par rapport aux langages textuels.
Tests d'utilisation de ce langage dans le carde des bases de données concluant.
Représentation graphique du résultat des queries.
Abstract:
We believe that the pragmatics and understanding of formal logic and also declarative programming languages are sensible to the type of syntax used. Our goal is to study how to apply the new developments in the eld of diagrammatic reasoning to declarative programming languages. In this paper we summarize the work done up to now in a visual logic language developped at the IIIA. We also attempt a complete formalization of its syntax, semantics and inference system. We claim that our visual syntax and operational semantics have a higher degree of homomorphism with respect to the mathematical semantics of the language than in conventional textual languages. Finally, we study two interesting new features: the ability of intuitively keeping track of the proof and the possibility to represent several solutions to the query, both using a single diagram.
Pdf:
Lien pdf
Références
1 articles
Titre Type Pertinence Auteurs Date Publication Références Citations Actions
VLP: a visual logic programming language article Haute Didier Ladret and Michel Rueher 12/1990 0 4
voir
Citations
0 articles
Titre Type Pertinence Auteurs Date Publication Références Citations Actions
Pas encore d'article
Mots-clés
0 mots-clés
Nom Nombre d'articles Actions
Pas encore de mot-clé
Auteurs
1 auteurs
Nom Nombre d'articles Actions
Jordi Puigsegur and Jaume Agustí-Cullell 1
voir