Skip to main content
SpringerLink
Log in

How should Prolog computation Be represented for practical use?

  • Regular Papers
  • Published:
New Generation Computing Aims and scope Submit manuscript

Abstract

We propose a visual computation model called theBox and Plane Model (BPM), which visually clarifies the semantics of backtracking, the cut operator, and side-effects, thus allowing the procedural features of Prolog to be grasped. On the bases of the BPM, we developed a visual debugger for Prolog, PROEDIT2, which has proved that this kind of pragmatic computation model for Prolog increases the efficiency of the debugging work.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  1. Robinson, J. A., “Logic Programming—Past, Present and Future,”New Generation Computing,Vol. 1,No. 2, 1983.

  2. Kowalski, R., “Predicate Logic as Programming Language,”Proc. IFIP 74, North Holland Publishing, 1974.

  3. Lloyd, J. W.,Foundations of Logic Programming, Springer-Verlag, 1984.

  4. Grafton, G. B. and Ichikawa, T., “Visual Programming,”IEEE Computer, special issue in visual programming, 1985

  5. Johnston, J. B., “The Contour Model of Block Structured Process,”Proc. of Symposium on Data Structures & Prog. Langs., SIGPLAN, Notices,Vol. 6,No. 2, 1987.Intelligence, 1987.

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

  7. Kowalski, R.,Logic for Problem Solving, The Computer Science Library, North Holland, 1979.

  8. Eisenstadt, M. and Brayshaw, M., “Graphical Debugging with the Transparent Prolog Machine,”Proc. of the 10th International Joint Conference on Artificial Intelligence, 1987.

  9. Byrd, L., “Understanding the control flow of Prolog Programs,”Proc. of the Logic Programming Workshop, 1980.

  10. Morishita, S. and Numao, M., “Prolog Computation Model BPM and Its Debugger PROEDIT2,”Logic Programming 86, LNCS-264, Springer-Verlag, 1987.

  11. Shapiro, E. Y.,Algorithmic Program Debugging, MIT Press, 1983.

  12. Pereira, L. M., “Rational Debugging of Logic Programs,”Proc. of the 3rd International Conference on Logic Programming, 1986.

  13. Numao, M. and Fujisaki, T., “Visual Debugger for Prolog,”Proc. of the IEEE 2nd Conference on Artificial Intelligence Application, 1985.

Download references

Author information

Authors and Affiliations

  1. IBM Research, Tokyo Research Laboratory, 5-19 Sanban-cho, Chiyoda-ku, 102, Tokyo, Japan

    Masayuki Numao, Shin’ichi Morishita & Hiroshi Maruyama

Authors
  1. Masayuki Numao
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Shin’ichi Morishita
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Hiroshi Maruyama
    View author publications

    You can also search for this author in PubMed Google Scholar

About this article

Cite this article

Numao, M., Morishita, S. & Maruyama, H. How should Prolog computation Be represented for practical use?. New Gener Comput 8, 95–112 (1990). https://doi.org/10.1007/BF03037469

Download citation

  • Received:

  • Revised:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF03037469

Keywords

Search

Navigation