A Visual Syntax for Logic and Logic Programming
|
Descargar SCORM
Este recurso ha sido solicitado 1 veces (0 veces en los últimos 31 días).
Para poder solicitar este recurso debe identificarse como usuario de la biblioteca
|
| |
Ver
Detalles del recurso
|
|
|
A Visual Syntax for Logic and Logic Programming
|
| Id. |
41626603 |
| Idioma |
inglés
|
| Titulo |
A Visual Syntax for Logic and Logic Programming |
| Autor(es) |
Jaume Agust I,Jordi Puigsegur
|
| Localización |
http://citeseer.ist.psu.edu/191486.html
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
It is commonly accepted that non-logicians have difficulty in expressing themselves
in first order logic. Part of the visual language community is concerned
with providing visual notations which use visual cues ("declarative diagrams")
to make the structuring of logical expressions more intuitive. One of the more
successful metaphors used in such diagrammatic languages is that of set inclusion,
making use of the graphical intuitions which most of us are taught at
school. Existing declarative diagrammatic languages do not make full use of
such set-based intuitions. We present a more uniform use of sets which allow
simple but highly expressive diagrams to be constructed from a small number
of primitive components. These diagrams provide an alternative notation for
a computational logic and, as we show in this paper, are the basis of a visual
logic programming language. The first implementation of this language and a
heterogeneous logic programming environment are also presented in this p...
|
| Tipo |
ps
|
| Palabras clave |
Jaume Agust I,Jordi Puigsegur A Visual Syntax for Logic and Logic Programming
|
| Tipo de Interactividad |
Expositivo
|
| Nivel de Interactividad |
muy bajo
|
| Audiencia |
Estudiante
Profesor
Autor
|
| Estructura |
Atomic |
| Coste |
no
|
| Copyright |
sí
|
|
unrestricted |
| Formatos |
ps
|
| Requerimientos técnicos |
Browser: Any
|
| Relación |
[IsBasedOn] http://www.iiia.csic.es/~jpf/Publ/JVLC98.ps.gz
[References] oai:CiteSeerPSU:179307
[References] oai:CiteSeerPSU:100245
[References] oai:CiteSeerPSU:308141
[References] oai:CiteSeerPSU:34926
[References] oai:CiteSeerPSU:531232
[References] oai:CiteSeerPSU:43523
[References] oai:CiteSeerPSU:14258
[References] oai:CiteSeerPSU:6192
|
| Fecha de contribución |
31-mar-2009 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
