Skip to main content
SpringerLink
Log in
Book cover

International Workshop on Processing Declarative Knowledge

PDK 1991: Processing Declarative Knowledge pp 399–401Cite as

The GCLA II programming language

  • Conference paper
  • First Online:

  • 179 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 567))

This is a preview of subscription content, log in via an institution.

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.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • Martin Aronsson, GCLA User's Manual, Internal SICS note, 1991.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Swedish Institute of Computer Science (SICS), Box 1263, S-164 28, Kista, Sweden

    Martin Aronsson & Lars-Henrik Eriksson

Authors
  1. Martin Aronsson
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Lars-Henrik Eriksson
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Harold Boley Michael M. Richter

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation