Text this: Learning higher-order logic programs.