- From: Gary Hallmark <gary.hallmark@oracle.com>
- Date: Tue, 05 Aug 2008 12:00:31 -0700
- To: Christian de Sainte Marie <csma@ilog.fr>
- CC: RIF WG <public-rif-wg@w3.org>
> 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 :-)
Received on Tuesday, 5 August 2008 19:02:38 UTC