Text this: Learning logic programs by explaining their failures