Logic programming in action Second international Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992 : proceedings / - Comyn, G.; Fuchs, N. E.; Ratcliffe, M. (Springer-Verlag,)