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

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

Industry Sectors
Chemical Manufacturing
IT & Software
Consumer Packaged Goods
Materials & Steel
Finance, Business & Banking
Energy, Utilities & Environment
Oil, Gas & Geosciences