This is a preview of subscription content, log in via an institution to check access.
Bibliography
Lars Hallnäs, Partial Inductive Definitions, In: A. Avron et. al. (eds.), Workshop on General Logic, Report ECS-LFCS-88-52. Dept. of Computer Science, Univ. of Edinburgh, 1987.
Also published as Research Report SICS R86005C by the Swedish Institute of Computer Science, 1988. A revised version to appear in Theoretical Computer Science 1990.
Lars Hallnäs, Peter Schroeder-Heister: A Proof-Theoretic Approach to Logic Programming. 1. Clauses as rules, Journal of Logic and Computation Vol 1, no. 2, 1990.
Martin Aronsson, GCLA User's Manual, Internal SICS note, 1991.
Martin Aronsson, Lars-Henrik Eriksson, Anette Gäredal, Lars Hallnäs, Peter Olin, The programming Language GCLA: A definitional approach to Logic Programming, New Generation Computing Vol 7, no. 4, 1990.
Martin Aronsson, Lars-Henrik Eriksson, Per Kreuger, Lars Hallnäs, A Survey of GCLA: A Definitional Approach to Logic Programming, In: Peter Schroeder-Heister (ed.), Extensions of Logic Programming, Springer Lecture Notes in Computer Science 475, 1991.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Aronsson, M., Eriksson, LH. (1991). The GCLA II programming language. In: Boley, H., Richter, M.M. (eds) Processing Declarative Knowledge. PDK 1991. Lecture Notes in Computer Science, vol 567. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0013546
Download citation
DOI: https://doi.org/10.1007/BFb0013546
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55033-4
Online ISBN: 978-3-540-46667-3
eBook Packages: Springer Book Archive