Abstract
This paper is concerned with the ability to provide the user of Prolog with a visual understanding of the language and its use. A graphical display is used to do this, based on the original ‘box’ model. The ideas presented here were initially derived from existing designs of Prolog database representations, but they are then linked in a real-time teaching and debugging environment. An introduction of the design and function of the tool is given, along with some examples of how the system appears to the user.
Preview
Unable to display preview. Download preview PDF.
References
Byrd, L. (1980). Understanding the Control Flow of PROLOG Programs. Edinburgh DAI research paper 151, Edinburgh University.
Clocksin, W.F. & Mellish, C.S. (1981). Programming in Prolog. Berlin: Springer Verlag.
Dewar, A. D. & Clearly, J. G. (1986). Graphical display of complex information within a Prolog debugger. International Journal of Man-Machine Studies, 25, 503–521.
Eisenstadt, M. & Brayshaw, M. (1988). The Transparent Prolog Machine. Journal of Logic Programming, to appear.
Pain, H. & Bundy, A. (1987) What Stories Should We Tell Novice Prolog Programmers? In: Nawley, R. (ed): Artificial Intelligence Programming Environments, Ellis Horwood.
Ross, P. (1987). Some Thoughts on The Design of an Intelligent Teaching system for Prolog. Proceedings of AISQ 62, Autumn 1987.
Rusher, M., Thomas, M., Gubert, A. & Landret, D. (1986). A PROLOG Based Graphical Approach for Knowledge Expression. Microsoftware for Engineers 1986, 2, 4, 249–254.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1990 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Polak, J., Guest, S.P. (1990). A graphical representation of the prolog programmer's knowledge. In: Gorny, P., Tauber, M.J. (eds) Visualization in Human-Computer Interaction. IPsy 1988. Lecture Notes in Computer Science, vol 439. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-52698-6_6
Download citation
DOI: https://doi.org/10.1007/3-540-52698-6_6
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-52698-8
Online ISBN: 978-3-540-47102-8
eBook Packages: Springer Book Archive