Skip to main content
SpringerLink
Log in

Declarative and procedural paradigms-do they really compete?

Panel outline

  • Conference paper
  • First Online:
Processing Declarative Knowledge (PDK 1991)

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

Included in the following conference series:

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Hector Levesque. Taking issue: Guest editor's introduction. Computational Intelligence, 3:149–150, 1987.

    Google Scholar 

  2. Chris Moss. Commercial applications of large Prolog knowledge bases. This Volume, 1991.

    Google Scholar 

  3. Terry Winograd. Frame representations and the declarative/procedural controversy. In Daniel G. Bobrow and Allan Collins, editors, Representation and Understanding — Studies in Cognitive Science, pages 185–210. Academic Press, 1975.

    Google Scholar 

References

  1. P. M. Hill and J. W. Lloyd. The Gödel report (preliminary version). Technical Report TR-91-02, Department of Computer Science, University of Bristol, March 1991.

    Google Scholar 

  2. Micha Meier. Recursion vs. iteration in Prolog. In Proceedings of the ICLP'91, pages 157–169, Paris, June 1991.

    Google Scholar 

Download references

Author information

Author notes

  1. Chris Moss

    Present address: CRP-CU, Luxembourg

Authors and Affiliations

  1. Deutsches Forschungszentrum für Künstliche Intelligenz, Universität Kaiserslautern, Deutschland

    Harold Boley

  2. European Computer-Industry Research Centre, Arabellastr. 17, D-8000, Munich 81, Germany

    Micha Meier

  3. Imperial College, London University, UK

    Chris Moss

  4. Kaiserslautern

    Michael M. Richter

  5. International Laboratory of Intelligent Systems (SINTEL), Universitetski Prospekt 4, 630090, Novosibirsk 90, USSR

    A. A. Voronkov

Authors
  1. Harold Boley
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Micha Meier
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Chris Moss
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Michael M. Richter
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. A. A. Voronkov
    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

Boley, H., Meier, M., Moss, C., Richter, M.M., Voronkov, A.A. (1991). Declarative and procedural paradigms-do they really compete?. 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/BFb0013545

Download citation

  • DOI: https://doi.org/10.1007/BFb0013545

  • 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