Functional Reading of Logic Programs
|
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
|
|
|
Functional Reading of Logic Programs
|
| Id. |
46158245 |
| Idioma |
inglés
|
| Titulo |
Functional Reading of Logic Programs |
| Localización |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.140.9095
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
Abstract: We propose an embedding of logic programming into lazy functional programming in which each predicate in a Prolog program becomes a Haskell function, in such a way that both the declarative and the procedural reading of the Prolog predicate are preserved. The embedding computes by means of operations on lazy lists. The state of each step in computation is passed on as a stream of answer substitutions, and all the logic operators of Prolog are implemented by explicit Haskell operators on these streams. The search strategy can be changed by altering the basic types of the embedding and the implementation of these operators. This model results in a perspicuous semantics for logic programs, and serves as a good example of modularisation in functional programming.
|
| 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://spivey.oriel.ox.ac.uk/mike/silvija/seres_bctcs99.ps.gz
[References] 10.1.1.100.9674
[References] 10.1.1.33.5381
[References] 10.1.1.26.2787
[References] 10.1.1.67.3397
[References] 10.1.1.48.1772
[References] 10.1.1.36.9302
[References] 10.1.1.33.7348
[References] 10.1.1.108.6851
[References] 10.1.1.48.3761
[References] 10.1.1.15.844
[References] 10.1.1.42.9272
|
| Fecha de contribución |
21-jul-2009 |
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
