Table of contents

  1. Front Matter
  2. Robert Kowalski
    Pages 1-2
  3. Thom Frühwirth, Alexander Herold, Volker Küchenhoff, Thierry Le Provost, Pierre Lim, Eric Monfroy et al.
    Pages 3-35
  4. Owen V. Evans
    Pages 45-53
  5. Pierre -Joseph Gailly, Wolfgang Krautter, Christophe Bisière, Sylvie Bescos
    Pages 54-63
  6. Christoph Beierle
    Pages 80-90
  7. Edward H. Freeman
    Pages 109-117
  8. Lutz Plümer
    Pages 118-126
  9. Michael Hess
    Pages 127-175
  10. Deborah A. Dahl
    Pages 176-185
  11. Thomas Grossi, Didier Bronisz, François Jean-Marie
    Pages 186-202
  12. Robert A. Kowalski
    Pages 203-230
  13. Peter Reintjes
    Pages 242-251
  14. Mireille Ducassé
    Pages 303-312
  15. Fabio Baj, Michael Rosner
    Pages 313-324
  16. Back Matter

About these proceedings


Logic programming enjoys a privileged position. It is firmly rooted in mathematical logic, yet it is also immensely practical, as a growing number of users in universities, research institutes, and industry are realizing. Logic programming languages, specifically Prolog, have turned out to be ideal as prototyping and application development languages. This volume presents the proceedings of the Second Logic Programming Summer School, LPSS'92. The First Logic Programming Summer School, LPSS '90, addressed the theoretical foundations of logic programming. This volume focuses onthe relationship between theory and practice, and on practical applications. The introduction to the volume is by R. Kowalski, one of the pioneers in the field. The following papers are organized into sections on constraint logic programming, deductive databases and expert systems, processing of natural and formal languages, software engineering, and education.


Processing Prolog databases expert system formal language logic mathematical logic programming programming language software engineering

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1992
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-55930-6
  • Online ISBN 978-3-540-47312-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site