Experiences with a logic-based knowledge discovery support environment