Skip to main content
SpringerLink
Log in

Rational debugging in logic programming

  • Session 2b: Inductive Inference And Debugging
  • Conference paper
  • First Online:
Book cover Third International Conference on Logic Programming (ICLP 1986)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 225))

Included in the following conference series:

Abstract

A debugger for Prolog has been developed which automates the reasoning ability required to pinpoint errors, resorting to the user only to ask about the intended program semantics, and making cooperative use of the declarative and the operational semantics. The algorithm is expressed in detail, a session protocol exhibited, comparison to other work made, but the implementation is not examined, nor the treatment of Prolog's extra-logical features. This is an abridged version of [Pereira 86].

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Lloyd, J. Declarative error diagnosis, Research report, Melbourne Univ.

    Google Scholar 

  2. Bruynooghe, M.: Pereira, L.M. Deduction revision through intelligent backtracking in “Issues in Prolog Implementation” (J.Campbell ed.), Ellis Horwood

    Google Scholar 

  3. Ferrand, G. Error diagnosis in logic programming, an adaptation of E. Y. Shapiro method, Rapport de Recherche 375, INRIA, Rocquencourt, 78153 Le Chesnay, France

    Google Scholar 

  4. Av-Ron, E. Top-down diagnosis of Prolog programs, Weizmanm Institute

    Google Scholar 

  5. Pereira, L.M.; Porto, A. Selective backtracking in “Logic Programming” (K.Clark, S.Tarnlund eds.), Academic Press 1982

    Google Scholar 

  6. Pereira, L.M., Rational debugging in logic programming, Research report, Univ. Nova de Lisboa

    Google Scholar 

  7. Shapiro, E. Algorithmic program debugging in “Proc. of 9th annual ACM Symp. on Principles of Programming Languages”

    Google Scholar 

  8. Shapiro, E. “Algorithmic Debugging” M.I.T. Press 1983

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Universidade Nova de Lisboa, Portugal

    Luís Moniz Pereira

Authors
  1. Luís Moniz Pereira
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Ehud Shapiro

Rights and permissions

Reprints and permissions

Copyright information

© 1986 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Pereira, L.M. (1986). Rational debugging in logic programming. In: Shapiro, E. (eds) Third International Conference on Logic Programming. ICLP 1986. Lecture Notes in Computer Science, vol 225. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-16492-8_76

Download citation

  • DOI: https://doi.org/10.1007/3-540-16492-8_76

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-16492-0

  • Online ISBN: 978-3-540-39831-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation