Logic Programming for Industrial Software Engineering ?