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.