Logic programming debugger using control flow specification

  • Hideo Tamura
  • Hideo Aiso
Logic Programming Language/System
Part of the Lecture Notes in Computer Science book series (LNCS, volume 383)


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).


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Lloyd87]
    Lloyd,J.W. Declarative Error Diagnosis, New Generation Computing,5 1987 Springer-VerlagGoogle Scholar
  2. [Maechi87]
    Machi MAEJI and Tadashi KANAMORI Top-down Zooming Diagnosis of Logic Programs, 35th Conference of Information Processing Society of Japan, 1987Google Scholar
  3. [Morishita86]
    Shinichi MORISHITA and Masayuki NUMAO BPM-Visual prolog computation model and debugger PROEDIT2, Proc. of The Logic Programming Conference '86, 1986Google Scholar
  4. [Numao85]
    Masayuki NUMAO PROEDIT Screen oriented Prolog programming Environment, Proc. of the Logic Programming Conference '85, 1985Google Scholar
  5. [Pereira,L.M 86]
    Pereira,Luis Moniz Rational debugging in logic programming, Lecture Note in Comp. Science 225, 1986 Springer-VerlagGoogle Scholar
  6. [Shapiro83]
    Shapiro,E. Algorismic Debugging, M.I.T. Press, 1983Google Scholar
  7. [Takahashi86]
    Hidehisa TAKAHASHI, Etsuya SHIBAYAMA PRESET — A Debugging Environment for Prolog, Lecture Note in Comp. Science 1986, Springer-VerlagGoogle Scholar
  8. [Takahashi84]
    Naohisa TAKAHASHI, Satoshi ONO and Makoto AMAMIYA Parallel-processing-oriented Algorismic Bug-detection Method for Functional Programming Languages, Study of Basic Software, 1984Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1989

Authors and Affiliations

  • Hideo Tamura
    • 1
  • Hideo Aiso
    • 1
  1. 1.Keio UniversityJapan

Personalised recommendations