The density functional formalism, its applications and prospects