The difficulties of learning logic programs with cut