Text this: Learning logic programs by discovering where not to search