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