Skip to main content
SpringerLink
Log in

Logic programming debugger using control flow specification

  • Logic Programming Language/System
  • Conference paper
  • First Online:
Book cover Logic Programming '88 (LP 1988)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 383))

Included in the following conference series:

  • 139 Accesses

Abstract

The size of the intermediate files produced by the debugging system is 164 KBytes when the non-backtrack test program fills the local stack ( 128K Bytes ), so it has no practical problem.

We have implemented a system that support meta-predicates ( ‘call’, ‘not’ ). We are considering how to cope the ‘assert’ predicate. There are two types of bug the ‘retract’ predicate can cause:

  1. (1)

    The case where variables are bound to the arguments of ‘retract’.

  2. (2)

    The case where a term is deleted by the ‘retract’ predicate.

This system can cope with the case (1), but not (2).

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.W. Declarative Error Diagnosis, New Generation Computing,5 1987 Springer-Verlag

    Google Scholar 

  2. Machi MAEJI and Tadashi KANAMORI Top-down Zooming Diagnosis of Logic Programs, 35th Conference of Information Processing Society of Japan, 1987

    Google Scholar 

  3. Shinichi MORISHITA and Masayuki NUMAO BPM-Visual prolog computation model and debugger PROEDIT2, Proc. of The Logic Programming Conference '86, 1986

    Google Scholar 

  4. Masayuki NUMAO PROEDIT Screen oriented Prolog programming Environment, Proc. of the Logic Programming Conference '85, 1985

    Google Scholar 

  5. Pereira,Luis Moniz Rational debugging in logic programming, Lecture Note in Comp. Science 225, 1986 Springer-Verlag

    Google Scholar 

  6. Shapiro,E. Algorismic Debugging, M.I.T. Press, 1983

    Google Scholar 

  7. Hidehisa TAKAHASHI, Etsuya SHIBAYAMA PRESET — A Debugging Environment for Prolog, Lecture Note in Comp. Science 1986, Springer-Verlag

    Google Scholar 

  8. Naohisa TAKAHASHI, Satoshi ONO and Makoto AMAMIYA Parallel-processing-oriented Algorismic Bug-detection Method for Functional Programming Languages, Study of Basic Software, 1984

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Keio University, Japan

    Hideo Tamura & Hideo Aiso

Authors
  1. Hideo Tamura
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Hideo Aiso
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Koichi Furukawa Hozumi Tanaka Tetsunosuke Fujisaki

Rights and permissions

Reprints and permissions

Copyright information

© 1989 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Tamura, H., Aiso, H. (1989). Logic programming debugger using control flow specification. In: Furukawa, K., Tanaka, H., Fujisaki, T. (eds) Logic Programming '88. LP 1988. Lecture Notes in Computer Science, vol 383. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-51564-X_56

Download citation

  • DOI: https://doi.org/10.1007/3-540-51564-X_56

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-51564-7

  • Online ISBN: 978-3-540-46654-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation