Optimization of logic programs with dynamic scheduling

Puebla Sánchez, Alvaro Germán; García de la Banda, M.; Marriott, K. y Stuckey, P.J. (1997). Optimization of logic programs with dynamic scheduling. En: "ourteenth International Conference on Logic Programming", July 8-11, 1997, Leuven, Belgium. ISBN 0-262-64035-X.

Descripción

Título: Optimization of logic programs with dynamic scheduling
Autor/es:
  • Puebla Sánchez, Alvaro Germán
  • García de la Banda, M.
  • Marriott, K.
  • Stuckey, P.J.
Tipo de Documento: Ponencia en Congreso o Jornada (Artículo)
Título del Evento: ourteenth International Conference on Logic Programming
Fechas del Evento: July 8-11, 1997
Lugar del Evento: Leuven, Belgium
Título del Libro: Logic Programming, Proceedings of the Fourteenth International Conference on Logic Programming
Fecha: 1997
ISBN: 0-262-64035-X
Materias:
Escuela: Facultad de Informática (UPM) [antigua denominación]
Departamento: Inteligencia Artificial
Licencias Creative Commons: Reconocimiento - Sin obra derivada - No comercial

Texto completo

[img]
Vista Previa
PDF (Document Portable Format) - Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (878kB) | Vista Previa

Resumen

Dynamic scheduling increases the expressive power of logic programming languages, but also introduces some overhead. In this paper we present two classes of program transformations designed to reduce this additional overhead, while preserving the operational semantics of the original programs, modulo ordering of literals woken at the same time. The first class of transformations simplifies the delay conditions while the second class moves delayed literals later in the rule body. Application of the program transformations can be automated using information provided by compile-time analysis. We provide experimental results obtained from an implementation of the proposed techniques using the CIAO prototype compiler. Our results show that the techniques can lead to substantial performance improvement.

Más información

ID de Registro: 14876
Identificador DC: http://oa.upm.es/14876/
Identificador OAI: oai:oa.upm.es:14876
Depositado por: Biblioteca Facultad de Informatica
Depositado el: 18 Abr 2013 05:46
Ultima Modificación: 21 Abr 2016 14:51
  • Open Access
  • Open Access
  • Sherpa-Romeo
    Compruebe si la revista anglosajona en la que ha publicado un artículo permite también su publicación en abierto.
  • Dulcinea
    Compruebe si la revista española en la que ha publicado un artículo permite también su publicación en abierto.
  • Recolecta
  • e-ciencia
  • Observatorio I+D+i UPM
  • OpenCourseWare UPM