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