Re: [PRD] Default conflict resolution strategy (ISSUE-64)

> The Jess/Oracle behaviour that you describe could be described if the 
> bindings were not specified in terms of variables, but in terms of 
> patterns, that is, not considering the binding (1/?x) but the binding 
> (P(1)/P(?x)), which makes sense if the "P(1)"s are "individualised", 
> that is, if P(1) before and after Do{Retract(P(1)), Assert(P(1))} are 
> different.
>
I don't think a solution that requires that not(P(1)=P(1)) holds is 
going to work out :-)