Abstract
For a long time it has been argued that the right kind of representation can provide insight and understanding for a problem. Believing in the general hypothesis that the limitations of our thoughts are all too often identical with the limits of our imagination and visualization capabilities, we have developed an integrated software engineering environment based on the Prolog programming language.
In the approach described below we are trying to support the development of an integrated Prolog programming environment by the special features of our hypertext system KnowS. Beyond these features are typed links, node classes, and transfer modules allowing dataflow between several components. But a program is not only a static object. To study the details of a program, we really have to see it in operation. Therefore we also provide animation of program execution. We are convinced that our integrated approach of managing sources of different kinds of information, supporting their structuring and the facility to maintain a Prolog program by hypertext nodes and links is an important step to the integration of software engineering environments and hypertext systems.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
F. Alonso, J. L. Maté, and J. Pazos. Knowledge engineering versus software engineering. Data amp; Knowledge Engineering, 5 (2): 79–91, July 1990.
A. Barr, P. R. Cohen, and E. A. Feigenbaum, editors. The Handbook of Artificial Intelligence, volume 4. Addison-Wesley Publishing Company, Massachusetts, December 1989. ISBN 0-201-51731-0.
H.-D. Böcker, G. Fischer, and H. Nieper. The Enhancement of Understanding through Visual Representations. SIGCHI BULLETIN, pages 44–50, New York, April 1986. ACM. ISBN 0-89791-180-6.
L. Byrd. Understanding the control flow of Prolog programs. In S. Tarlund, editor, Proceedings of the Logic Programming Workshop, pages 127–138, 1980.
W. F. Clocksin and C. S. Mellish. Programming in Prolog. Springer-Verlag, Heidelberg, second edition, 1984.
C. Delrieux, P. Azero, and F. Tohmé. Toward Integrating Imperative and Logic Programming Paradigms: A WYSYWYG approach to PROLOG Programming. ACM SIGPLAN Notices, 26 (3): 35–44, March 1991.
F. DeRemer and H. H. Kron. Programming-in-the-Large Versus Programming-in-the- Small. IEEE Transactions on Software Engineering, 2 (2): 80–86, June 1976.
L. Druffel and R. Little. Software engineering for AI based software products. Data amp; Knowledge Engineering, 5 (2): 93–103, July 1990.
A. Habermann. Engineering large knowledge-based systems. Data amp; Knowledge Engineering, 5 (2): 105–117, July 1990.
H. Langendörfer, U. Schreiweis, and M. Hofmann. Knowledge acquisition with a special hypertext system. In Motoda et al. [12], pages 249–258.
M. A. Linton, J. M. Vlissides, and P. R. Calder. Composing User Interfaces with Inter- Views. IEEE Computer, pages 8–22, February 1989.
H. Motoda, R. Mizoguchi, J. Boose, and B. Gaines, editors. Proceedings of the First Japanese Knowledge Acquisition for Knowledge-Based Systems Workshop JKAW’90, 3–1 Kanda Nishiki-cho, Chiyoda-ku, Tokyo 101, Japan, October 1990. OHMSHA, LTD.
D. T. Sannella and L. A. Wallen. A Calculus For The Construction Of Modular Prolog Programs. The Journal Of Logic Programming, 12(1–2):147–177, January 1992. ISSN 0743-1066.
H. A. Simon. The Sciences of the Artificial. MIT Press, Cambridge, 1981.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Schreiweis, U., Langendörfer, H. (1992). An Integrated Programming Environment Based on Hypertext Structures. In: Cordes, R., Streitz, N. (eds) Hypertext und Hypermedia 1992. Informatik aktuell. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-77822-3_4
Download citation
DOI: https://doi.org/10.1007/978-3-642-77822-3_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55975-7
Online ISBN: 978-3-642-77822-3
eBook Packages: Springer Book Archive