Recursion

i = 0 .. end

partition(s) = s[0..i] + partition(s[i+1 .. end]) if s[0..i] is palindromic