Abstract
This paper presents work on programming methodologies for the programming tool GCLA. Three methods are discussed which show how to construct the control part of a GCLA program, where the definition of a specific problem and the set of intended queries are given beforehand. The methods are described by a series of examples, but we also try to give a more explicit description of each method. We also discuss some important characteristics of the methods.
This work was carried out as part of the work in the ESPRIT working group GENTZEN and was funded by The Swedish National Board for Industrial and Technical Development (NUTEK).
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
M. Aronsson, Methodology and Programming Techniques in GCLA II, SICS Research Report R92:05, also published in: L-H. Eriksson, L. Hallnäs, P. Shroeder-Heister (eds.), Extensions of Logic Programming, Proceedings of the 2nd International Workshop held at SICS, Sweden, 1991, Springer Lecture Notes in Artificial Intelligence, vol. 596, pp 1–44, Springer-Verlag, 1992.
M. Aronsson, GCLA User's Manual, SICS Research Report T91:21A.
M. Aronsson, L-H. Eriksson, A. Gäredal, L. Hallnäs, P. Olin, The Programming Language GCLA — A Definitional Approach to Logic Programming, New Generation Computing, vol. 7, no. 4, pp 381–404, 1990.
M. Aronsson, P. Kreuger, L. Hallnäs, L-H. Eriksson, A Survey of GCLA — A Definitional Approach to Logic Programming, in: P. Shroeder-Heister (ed.), Extensions of Logic Programming, Proceedings of the 1st International Workshop held at the SNS, Universität Tübingen, 1989, Springer Lectures Notes in Artificial Intelligence, vol. 475, Springer-Verlag, 1990.
P. Kreuger, GCLA II, A Definitional Approach to Control, Ph L thesis, Department of Computer Sciences, University of Göteborg, Sweden, 1991, also published in: L-H. Eriksson, L. Hallnäs, P. Shroeder-Heister (eds.), Extensions of Logic Programming, Proceedings of the 2nd International Workshop held at SICS, Sweden, 1991, Springer Lecture Notes in Artificial Intelligence, vol. 596, pp 239–297, Springer-Verlag, 1992.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Falkman, G., Torgersson, O. (1994). Programming methodologies in GCLA. In: Dyckhoff, R. (eds) Extensions of Logic Programming. ELP 1993. Lecture Notes in Computer Science, vol 798. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58025-5_53
Download citation
DOI: https://doi.org/10.1007/3-540-58025-5_53
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-58025-6
Online ISBN: 978-3-540-48417-2
eBook Packages: Springer Book Archive