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.
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.References
Robinson, J. A., “Logic Programming—Past, Present and Future,”New Generation Computing,Vol. 1,No. 2, 1983.
Kowalski, R., “Predicate Logic as Programming Language,”Proc. IFIP 74, North Holland Publishing, 1974.
Lloyd, J. W.,Foundations of Logic Programming, Springer-Verlag, 1984.
Grafton, G. B. and Ichikawa, T., “Visual Programming,”IEEE Computer, special issue in visual programming, 1985
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.
Clocksin, W. F. and Mellish, C. S.,Programming in Prolog, Springer-Verlag, 1981.
Kowalski, R.,Logic for Problem Solving, The Computer Science Library, North Holland, 1979.
Eisenstadt, M. and Brayshaw, M., “Graphical Debugging with the Transparent Prolog Machine,”Proc. of the 10th International Joint Conference on Artificial Intelligence, 1987.
Byrd, L., “Understanding the control flow of Prolog Programs,”Proc. of the Logic Programming Workshop, 1980.
Morishita, S. and Numao, M., “Prolog Computation Model BPM and Its Debugger PROEDIT2,”Logic Programming 86, LNCS-264, Springer-Verlag, 1987.
Shapiro, E. Y.,Algorithmic Program Debugging, MIT Press, 1983.
Pereira, L. M., “Rational Debugging of Logic Programs,”Proc. of the 3rd International Conference on Logic Programming, 1986.
Numao, M. and Fujisaki, T., “Visual Debugger for Prolog,”Proc. of the IEEE 2nd Conference on Artificial Intelligence Application, 1985.
Author information
Authors and Affiliations
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
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF03037469