Semantics of Well-Moded Input-Consuming 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
|
|
|
Semantics of Well-Moded Input-Consuming Logic Programs
|
| Id. |
46242530 |
| Idioma |
inglés
|
| Titulo |
Semantics of Well-Moded Input-Consuming Logic Programs |
| Autor(es) |
Annalisa Bossi
Sandro Etalle
Sabina Rossi
|
| Localización |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.20.7319
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
Recent logic programming languages employ dynamic scheduling of calls to improve efficiency of programs. Dynamic scheduling is realized by allowing some calls to be dynamically "delayed" until their arguments are sufficiently instantiated. To this end, logic languages are extended with constructs such as delay declarations. However, many declarative properties that hold for logic and pure Prolog programs do not apply any longer in this extended setting. In particular, the equivalence between the model-theoretic and operational semantics does not hold. In this paper, we study the class of input-consuming programs. Firstly, we argue that input-consuming logic programs are suitable for modeling programs employing delay declarations. Secondly, we show that -- under some syntactic restrictions -- the S-semantics of a program is correct and fully abstract also for input-consuming programs. This allows us to conclude that for a large class of programs employing delay declarations there exists a model-theoretic semantics which is equivalent to the operational one. Thus, input-consuming programs are shown to be the right answer for conjugate eciency and declarativeness.
|
| 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.dsi.unive.it/~srossi/Papers/comp-lang.ps.gz
[References] 10.1.1.54.5318
[References] 10.1.1.29.3512
[References] 10.1.1.47.6024
[References] 10.1.1.25.2460
[References] 10.1.1.51.8795
[References] 10.1.1.27.8303
[References] 10.1.1.50.7651
[References] 10.1.1.47.597
[References] 10.1.1.13.1805
|
| Fecha de contribución |
22-jul-2009 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
