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