This paper discusses the dynamic behaviors of a discrete predator-prey system with Beddington-DeAngelis function response. We first show that under some suitable assumption, the system is permanent. Furthermore, by constructing a suitable Lyapunov function, a sufficient condition which guarantee the global attractivity of positive solutions of the system is established