Logic Programming in Action: Second International Logic Programming Summer School, LPSS '92 Zurich, Switzerland, September 7–11, 1992 Proceedings

✍ Scribed by Robert Kowalski (auth.), G. Comyn, N. E. Fuchs, M. J. Ratcliffe (eds.)

• Publisher: Springer-Verlag Berlin Heidelberg
• Year: 1992
• Tongue: English
• Leaves: 333
• Series: Lecture Notes in Computer Science 636
• Edition: 1
• Category: Library

✦ Synopsis

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.

✦ Table of Contents

Theory and practice in logic programming....Pages 1-2
Constraint Logic Programming....Pages 3-35
Scheduling and optimisation in the Automobile Industry....Pages 36-44
Factory scheduling using finite domains....Pages 45-53
The Prince project and its applications....Pages 54-63
A (Gentle) introduction to deductive databases....Pages 64-79
Knowledge based PPS applications in PROTOS-L....Pages 80-90
The SECReTS banking expert system from phase 1 to phase 2....Pages 91-99
Logic engineering and clinical dilemmas....Pages 100-108
A knowledge-based approach to strategic planning....Pages 109-117
Expert systems in mining....Pages 118-126
Natural and formal language processing....Pages 127-175
PUNDIT — Natural language interfaces....Pages 176-185
The Esteam-316 dialogue manager....Pages 186-202
Legislation as logic programs....Pages 203-230
Knowledge representation for natural language processing....Pages 231-241
A set of tools for VHDL design....Pages 242-251
Tutorial notes: Reasoning about logic programs....Pages 252-277
Software formal specification by logic programming: The example of standard Prolog....Pages 278-289
The art of computer un-programming: Reverse engineering in Prolog....Pages 290-302
Opium — An advanced debugging system....Pages 303-312
Automatic theorem proving within the portable AI Lab....Pages 313-324

✦ Subjects

Artificial Intelligence (incl. Robotics); Programming Techniques; Mathematical Logic and Formal Languages; Software Engineering; Business Information Systems; Computer-Aided Engineering (CAD, CAE) and Design