Logic Programming in Action

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.