deductive 1997: Workshop on Programming with Logic Databases (Informal Proceedings), ILPS 1997