Abstract
This paper presents a debugger for Prolog ‘PROEDIT2’. In order to express the complex execution mechanism of Prolog, a new execution model for Prolog ‘BPM’ is also proposed. PROEDIT2 shows the execution of Prolog in BPM notation.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Clocksin W.F., Mellish C.S. (1981) Programming in Prolog, Springer-Verlag
Fukunaga K., Hirose S. (1986) An Experience with a Prolog-Based Object-Oriented Language, Proc. of the ACM Conf. on Object Oriented Programming Systems, Language and Applications
Numao M., Fujisaki T. (1985) Visual Debugger for Prolog, Proc. of the IEEE Second Conference on Artificial Intelligence Application, p422–427
Pereira L.M. (1984) Rational Debugging of Logic Programs, Department de Informatica Universiade Nova de Lisboa
Shapiro E.Y. (1983) Algorithmic Program Debugging, MIT press
Yokoi S. (1986) Interactive Systems Kit: INK, Proc. of 32nd Annual Convention of IPSJ (in Japanese)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1987 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Morishita, S., Numao, M. (1987). Prolog computation model BPM and its debugger PROEDIT2. In: Wada, E. (eds) Logic Programming '86. LP 1986. Lecture Notes in Computer Science, vol 264. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-18024-9_30
Download citation
DOI: https://doi.org/10.1007/3-540-18024-9_30
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-18024-1
Online ISBN: 978-3-540-47712-9
eBook Packages: Springer Book Archive