A Program Specialiser for Meta-level Compositions of Logic Programs.