A TECHNIQUE FOR DOING LAZY EVALUATION IN LOGIC SANJAI NARAIN
|
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 TECHNIQUE FOR DOING LAZY EVALUATION IN LOGIC SANJAI NARAIN
|
| Id. |
47444141 |
| Idioma |
inglés
|
| Titulo |
A TECHNIQUE FOR DOING LAZY EVALUATION IN LOGIC SANJAI NARAIN |
| Autor(es) |
J. Logic Programming
|
| Localización |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.84.4661
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
D We develop a natural technique for defining functions in logic, i.e. PROLOG, which directly yields lazy evaluation. Its use does not require any change to the PROLOG interpreter. Function definitions run as PROLOG programs and so run very efficiently. It is possible to combine lazy evaluation with nondeterminism and simulate coroutining. It is also possible to handle infinite data structures and implement networks of communicating processes. We analyze this technique and develop a precise definition of lazy evaluation for lists. For further efficiency we show how to preprocess programs and ensure, using logical variables, that values of expressions once generated are remembered for future access. Finally, we show how to translate programs in a simple functional language into programs using this technique. a 1.
|
| Tipo |
application/pdf
|
| 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/pdf
|
| Requerimientos técnicos |
Browser: Any
|
| Relación |
[IsBasedOn] http://www.argreenhouse.com/papers/narain/jlp-narain-article.pdf
[References] 10.1.1.19.4684
[References] 10.1.1.136.3043
|
| Fecha de contribución |
03-sep-2009 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
