FLOPS 2001: Functional and Logic Programming pp 170-184

Theoretical Foundations for the Declarative Debugging of Lazy Functional Logic Programs

  • Rafael Caballero
  • Francisco J. López-Fraguas
  • Mario Rodrìguez-Artalejo
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2024)

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

Personalised recommendations