W3C home > Mailing lists > Public > public-rif-wg@w3.org > August 2008

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

From: Gary Hallmark <gary.hallmark@oracle.com>
Date: Tue, 05 Aug 2008 12:00:31 -0700
Message-ID: <4898A34F.50706@oracle.com>
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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 2 June 2009 18:33:53 GMT