Problem regarding soft cut(*->).

Hi All,

       recently, I got some problem with soft cut(*->).

       I'm working with Eclipse release 5.4 under Windows 2000( also tried
       with Eclipse 5.4 + Solaris 5.7).

       Have the program follows compiled:
       %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
       :-lib(fd).
       :-op(1050, xfx, *->).
       :-import (*->)/2 from sepia_kernel,
       %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

       [eclipse 8]: member(X,[1,3]) *-> Y #= X+1; Y #=0.
       calling an undefined procedure sepia_kernel : (member(X, [1, 3]) *->
Y #= X+1) in module eclipse
       Abort

       Any hints about the above error message?

       In case the soft cut is obsolete (however still documented in release
5.4's manual),
       are there any alternatives?

       Thanks a lot in advance!!

Cheers,
Jinyi