This paper discusses a discrete predator-prey system with Beddington-DeAngelis function response. Firstly, sufficient conditions are obtained for the permanence of the system. Furthermore, by constructing a suitable Lyapunov function, some sufficient conditions which guarantee the global attractivity of positive equilibrium of the system are established. (C) 2012 Published by Elsevier Ltd. Selection and/or peer-review under responsib...