A visual logic programming language based on sets and partitioning constraints
Informations
Type:
article
Auteurs:
Lindsey L. Spratt and Allen L. Ambler
Pertinence:
Moyenne
Référence:
Doi:
Mots-clés:
Url:
https://www.semanticscholar.org/paper/A-visual-logic-programming-language-based-on-sets-Spratt-Ambler/bbd59145da742798ceb9b41c7abe74f44a99ad79
Date de publication:
12/1992
Résumé:
Présentation du langage SPARCL. Pas le meilleur article de cette catégorie.
Abstract:
This paper presents a new programming language named SPARCL that has four major elements: it is a visual language, it is a logic programming language, it relies on sets to organize data, and it supports partitioning constraints on the contents of sets. It is a visual programming language in that the representation of the language depends extensively on non-textual graphics and the programming process relies on graphical manipulation of this representation. It is a logic programming language in that the underlying semantics of the language is the resolution of clauses of a Horn-like subset of first order predicate logic. It uses sets as the only method of combining terms to build complex terms. Finally, one may constrain a set's structure by specifying a partitioning into pairwise disjoint subsets.
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
voir
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
Lindsey L. Spratt and Allen L. Ambler 1
voir