The (Lazy) Functional Side of 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
|
|
|
The (Lazy) Functional Side of Logic Programming
|
| Id. |
46452374 |
| Idioma |
inglés
|
| Titulo |
The (Lazy) Functional Side of Logic Programming |
| Autor(es) |
Sandro Etalle
Jon Mountjoy
|
| Localización |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.34.6765
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
The possibility of translating logic programs into functional ones has long been a subject of investigation. Common to the many approaches is that the original logic program, in order to be translated, needs to be well-moded and this has led to the common understanding that these programs can be considered to be the "functional part" of logic programs. As a consequence of this it has become widely accepted that "complex" logical variables, the possibility of a dynamic selection rule, and general properties of non-well-moded programs are exclusive features of logic programs. This is not quite true, as some of these features are naturally found in lazy functional languages. We readdress the old question of what features are exclusive to the logic programming paradigm by defining a simple translation applicable to a wider range of logic programs, and demonstrate that the current circumscription is unreasonably restrictive.
|
| 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.cs.unimaas.nl/~etalle/papers/em00corr.ps.gz
[References] 10.1.1.100.9674
[References] 10.1.1.30.4485
[References] 10.1.1.29.3512
[References] 10.1.1.57.395
[References] 10.1.1.31.5014
[References] 10.1.1.39.1968
[References] 10.1.1.53.7356
[References] 10.1.1.42.2437
[References] 10.1.1.49.7495
[References] 10.1.1.57.5822
[References] 10.1.1.41.9635
[References] 10.1.1.28.2624
[References] 10.1.1.22.2533
[References] 10.1.1.36.4248
[References] 10.1.1.36.6726
[References] 10.1.1.108.6851
[References] 10.1.1.141.2127
|
| Fecha de contribución |
28-jul-2009 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
