From queries to answers in visual logic programming
Informations
- Type:
- article
- Auteurs:
- Jordi Puigsegur and Marco Schorlemmer and Jaume Agustí-Cullell
- Pertinence:
-
Moyenne
- Référence:
- Doi:
- Mots-clés:
- Url:
- https://ieeexplore.ieee.org/document/626564
- Date de publication:
- 12/1996
- Résumé:
- Outil de query visuel (programmation logique) qui s'articule autour de la formalisation de diagramme de query et des diagrammes de solutions à ces mêmes query.
- Abstract:
- In VL'96 we presented a visual declarative program- ming language based on two main graphical constructs: directed acyclic graphs representing predicate application and graphical set inclusion representing logical implica- tion. We showed that with these simple visual constructs we can cover most ofthe representational demands of com- putational logic allowing a blend of functional and rela- tional styles of programming. In this paper we explore the advantages of using directly our visual syntax for solving queries, by giving a way to visually ask questions about a visual program by means of query diagrams, and by defin- ing visual inferences which operate on those diagrams. The result is an operational semantics for declarative program- ming which is intended to be visual, intuitive and formal. Visual because the inference rules display graphically the transformation of query diagrams into answer diagrams. Intuitive because it is intimately linked with the visual syn- tax of the declarative language. Finally it is formal because the usual properties of formal logic (i.e. correctness and completeness) can be applied directly to it.
- Pdf:
- Lien pdf
Références
0 articles
| Titre | Type | Pertinence | Auteurs | Date Publication | Références | Citations | Actions |
|---|---|---|---|---|---|---|---|
| Pas encore d'article | |||||||
Citations
1 articles
| Titre | Type | Pertinence | Auteurs | Date Publication | Références | Citations | Actions |
|---|---|---|---|---|---|---|---|
| Design and Implementation of an Interpreter Engine for a Visual Logic Programming Language Omid | inproceedings | Haute | Banyasad and Philip T. Cox | 10/2013 | 9 | 0 |
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 Marco Schorlemmer and Jaume Agustí-Cullell | 1 |