Translating Logic Programs Into Conditional Rewriting Systems
|
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
|
|
|
Translating Logic Programs Into Conditional Rewriting Systems
|
| Id. |
46327239 |
| Idioma |
inglés
|
| Titulo |
Translating Logic Programs Into Conditional Rewriting Systems |
| Autor(es) |
F. van Raamsdonk
Femke Van Raamsdonk
|
| Localización |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.28.2624
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
In this paper a translation from a subclass of logic programs consisting of the simply moded logic programs into rewriting systems is defined. In these rewriting systems conditions and explicit substitutions may be present. We argue that our translation is more natural than previously studied ones and establish a result showing its correctness. 1991 Mathematics Subject Classification: 68Q42, 16S15. 1991 Computing Reviews Classification System: D.1.6, I.2.2, I.2.3, F.3.2. Keywords and Phrases: logic programming, rewriting, program transformation. Note: This research was supported by NWO/SION project number 612-33-003, entitled `Parallel declarative programming: transforming logic programs to lazy functional programs'. A shorter version of this paper appeared as [16]. 1. Introduction Logic and functional programming are both instances of declarative programming and hence it is not surprising that the relationship between them has been studied. However, the work so far has in our opi...
|
| Tipo |
application/postscript
|
| Palabras clave |
logic programming
|
| Tipo de recurso |
Texto Narrativo
|
| Tipo de Interactividad |
Expositivo
|
| Nivel de Interactividad |
muy bajo
|
| Audiencia |
Estudiante
Profesor
Autor
|
| Estructura |
Atomic |
| Coste |
no
|
| Copyright |
sí
|
|
Metadata may be used without restrictions as long as the oai identifier remains attached to it. |
| Formatos |
application/postscript
|
| Requerimientos técnicos |
Browser: Any
|
| Relación |
[IsBasedOn] http://www.cwi.nl/ftp/CWIreports/PNA/PNA-R9803.ps.Z
[References] 10.1.1.46.9861
[References] 10.1.1.29.3512
[References] 10.1.1.26.1072
[References] 10.1.1.39.1968
[References] 10.1.1.42.2437
[References] 10.1.1.34.9190
[References] 10.1.1.40.507
[References] 10.1.1.108.6851
[References] 10.1.1.92.5382
[References] 10.1.1.19.62
[References] 10.1.1.16.6240
[References] 10.1.1.87.7221
[References] 10.1.1.141.2127
|
| Fecha de contribución |
24-jul-2009 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
