Theoretical Foundations for the Declarative Debugging of Lazy Functional Logic Programs

  • Rafael Caballero
  • Francisco J. López-Fraguas
  • Mario Rodrìguez-Artalejo
Conference paper

DOI: 10.1007/3-540-44716-4_11

Volume 2024 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
Caballero R., López-Fraguas F.J., Rodrìguez-Artalejo M. (2001) Theoretical Foundations for the Declarative Debugging of Lazy Functional Logic Programs. In: Kuchen H., Ueda K. (eds) Functional and Logic Programming. FLOPS 2001. Lecture Notes in Computer Science, vol 2024. Springer, Berlin, Heidelberg

Abstract

The aim of this paper is to provide theoretical foundations for the declarative debugging of wrong answers in lazy functional logic programming. We rely on a logical framework which formalizes both the intended meaning and the execution model of programs in a simple language which combines the expressivity of pure Prolog and a significant subset of Haskell. As novelties w.r.t. to previous related approaches, we deal with functional values both as arguments and as results of higher order functions, we obtain a completely formal specification of the debugging method, and we extend known soundness and completeness results for the debugging of wrong answers in logic programming to a substantially more difficult context. A prototype implementation of a working debugger is planned as future work.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2001

Authors and Affiliations

  • Rafael Caballero
    • 1
  • Francisco J. López-Fraguas
    • 1
  • Mario Rodrìguez-Artalejo
    • 1
  1. 1.Departamento de Sistemas Informáticos yProgramaciónUniversidad Complutense de MadridSpain