Author: Logic Programming Summer School (2nd 1992 Zurich, Switzerland)