Text this: Learning efficient logic programs.