Skip to main content
SpringerLink
Log in

PRESET — A debugging environment for Prolog

  • Conference paper
  • First Online:
Book cover Logic Programming '85 (LP 1985)

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

Included in the following conference series:

Abstract

This paper describes PRESET, a debugging environment for the programming language Prolog. PRESET is implemented in C-Prolog and has two major components: Predicate Diagnoser and Why/Whynot Explanation System. Predicate Diagnoser detects bugs which can be found in prior to execution, such as misspellings and illegal calls. Why/Whynot Explanation System is based on the top-down procedure diagnosis method. It can explain not only where bugs exist but also "why" they are wrong, which most of the existing debugging tools for Prolog do not indicate.

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. Shapiro, E. Y., Algorithmic Program Debugging, MIT Press, 1982.

    Google Scholar 

  2. Bowen, D. L., Byrd, L., Pereira, F. C. N, Pereira, L. M. and Warren, D. H. D, DECsystem-10 Prolog User's Manual, Dept. of Artificial Intelligence, University of Edinburgh, 1982.

    Google Scholar 

  3. Pereira, F., C-Prolog User's Manual, Dept. of Artificial Intelligence, University of Edinburgh, 1983.

    Google Scholar 

  4. Clocksin, W. F. and Mellish, C. S., Programming in Prolog, Springer-Verlag, 1981.

    Google Scholar 

  5. Numao, M., PROEDIT — A Screen Oriented Prolog Programming Environment, Proc. of the Logic Programming Conference '85, 1985 (In Japanese).

    Google Scholar 

  6. Francez, N., Goldenberg, S., Pinter, R. Y., Tiomkin, M. and Tsur, S., An Environment for Logic Programming, Proc. of the ACM SIGPLAN 85 Symposium on Language Issues in Programming Environments, ACM SIGPLAN Notices, Vol. 20, No. 7., 1985.

    Google Scholar 

  7. Komorowski, H. J. and Omori, S., A Model and an Implementation of a Logic Programming Environment, Proc. of the ACM SIGPLAN 85 Symposium on Language Issues in Programming Environments, ACM SIGPLAN Notices, Vol. 20, No. 7, 1985.

    Google Scholar 

  8. Covington, M. A., Eliminating Unwanted Loops in Prolog, ACM SIGPLAN Notices, Vol. 20, No. 1, 1985.

    Google Scholar 

  9. Covington, M. A., A Further Note on Looping in Prolog, ACM SIGPLAN Notices, Vol. 20, No. 8, 1985.

    Google Scholar 

  10. Nute, D., A Programming Solution to Certain Problems with Loops in Prolog, ACM SIGPLAN Notices, Vol. 20, No. 8, 1985.

    Google Scholar 

  11. Poole, D. and Goebel, R., On Eliminating Loops in Prolog, ACM SIGPLAN Notices, Vol. 20, No. 8, 1985.

    Google Scholar 

  12. Takahashi, H. and Shibayama, E., PRESET — A Debugging Environment for Prolog, Proc. of the Logic Programming Conference '85, 1985 (In Japanese).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Information Science, Tokyo Institute of Technology, Ookayama Meguro-ku, 152, Tokyo

    Hidehisa Takahashi & Etsuya Shibayama

Authors
  1. Hidehisa Takahashi
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Etsuya Shibayama
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Eiiti Wada

Rights and permissions

Reprints and permissions

Copyright information

© 1986 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Takahashi, H., Shibayama, E. (1986). PRESET — A debugging environment for Prolog. In: Wada, E. (eds) Logic Programming '85. LP 1985. Lecture Notes in Computer Science, vol 221. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-16479-0_9

Download citation

  • DOI: https://doi.org/10.1007/3-540-16479-0_9

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-16479-1

  • Online ISBN: 978-3-540-39820-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation