Re: Problem regarding soft cut(*->).

Hi Joachim,

            thanks for your help!

> This is a bit of an anomaly in Eclipse: it will only work when
> the *-> occurs in compiled code. I.e. if you compile a clause like
>
> p(X,Y) :- ( member(X,[1,3]) *-> Y #= X+1; Y #=0 ).
>
> you will be able to call p(X,Y).
>
>
        That is exactly what I want, since I'm writing a compiler which
        generates clauses with soft cuts in their bodies.

> A more general point is: what do you want to achieve here?
> The meaning of
>     member(X,[1,3]) *-> Y #= X+1 ; Y #=0
> is quite difficult to understand, I doubt that it does what
> you want. Why not simply:
>     member(X,[1,3]), Y #= X+1 ; Y #=0

       Sorry for the confusion, the example I given is just a toy.

Cheers,
Jinyi