Optimization of logic programs with dynamic scheduling

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

Description

Title: Optimization of logic programs with dynamic scheduling
Author/s:
  • Puebla Sánchez, Alvaro Germán
  • García de la Banda, M.
  • Marriott, K.
  • Stuckey, P.J.
Item Type: Presentation at Congress or Conference (Article)
Event Title: ourteenth International Conference on Logic Programming
Event Dates: July 8-11, 1997
Event Location: Leuven, Belgium
Title of Book: Logic Programming, Proceedings of the Fourteenth International Conference on Logic Programming
Date: 1997
ISBN: 0-262-64035-X
Subjects:
Faculty: Facultad de Informática (UPM)
Department: Inteligencia Artificial
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

[img]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (878kB) | Preview

Abstract

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.

More information

Item ID: 14876
DC Identifier: http://oa.upm.es/14876/
OAI Identifier: oai:oa.upm.es:14876
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 18 Apr 2013 05:46
Last Modified: 21 Apr 2016 14:51
  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM