We prove, in separable Banach spaces, the existence of viable solutions for the following higher-order functional dierential inclusion x (k) (t) \in F (t, T (t)x, x (1) (t), ..., x (k-1) (t)), a.e. on [0, \tau ]. We consider the case when the right-hand side is nonconvex and the constraint is moving. ®¢®¤¨âìáï ÷áã¢ ï ¢ ᥯ à ¡¥«ì¨å ¡ 客¨å¯à®áâ®à å à® §¢'ï §ª÷¢ ¢á쮬ã ÷â¥à¢ «÷ ¤«ï äãªae÷® «ì®-¤¨ä¥à¥ae÷ «ì¨å ¢ª«îç¥ì x (k) (t) \in F (t, T (t)x, x (1) (t), ..., x (k-1) (t)), a.e. on [0, \tau ]. ® §£«ï¤ õâìáï ¢¨¯ ¤®ª ¥®¯ãª«®ù¯à ¢®ù ç á⨨â àã宬®£® ®¡¬¥¦¥ï. K , dened below, is locally compact.