We generalize the notion of best proximity points in the context of modular function spaces. We have found sufficient conditions for the existence and uniqueness of best proximity points for cyclic maps in modular function spaces. We present an application of the main result for cyclic integral operators in Orlicz function spaces, endowed with an Orlicz function modular.