Abstract
A screen oriented programming environment for Prolog was designed and implemented. To visualize the control flow of the execution of a Prolog program, A new execution model is proposed, which is based on the box model, but has been extended so that control flow between subgoals is displayed over time. It is written for VM/Prolog which runs under the VM/CMS operating system. The system is actually being used by researchers in IBM laboratories.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
Alberga C, et al. (1981) A Program Development Tool. 8th Annual ACM Symposium on Principles of Programming Languages
Clocksin WI, Mellish CS (1981) Programming in Prology. Springer-Verlag
Mikelsons M (1982) Interactive Program Execution in LISPEDIT. ACM SIGPLAN/SIGSOFT, Symposium on High Level Debugging
Numao M, Fujisaki T (1985) Visual Debugger for Prolog, The Second Conference on Artificial Intelligence Applications. IEEE
Pereira LM (1984) Rational Debugging of Logic Programs. Department de Informatica, Universiade Nova de Lisboa
Shapiro EY (1983) Algorithmic Program Debugging. MIT press
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1986 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Numao, M., Maruyama, H. (1986). Proedit — a screen oriented Prolog programming environment. 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_10
Download citation
DOI: https://doi.org/10.1007/3-540-16479-0_10
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