  The diffusive Beddington-DeAngelis predator-prey model with nonlinear
prey-taxis and free boundary is considered. We investigate the existence and
uniqueness, regularity and uniform estimates, and long time behavior of the
global solution. Some sufficient conditions for both spreading and vanishing
are established.
