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

Re: ISSUE-76: Equality in Core? [Core]

From: Michael Kifer <kifer@cs.sunysb.edu>
Date: Tue, 2 Sep 2008 12:57:10 -0400
To: Rule Interchange Format Working Group WG <public-rif-wg@w3.org>
Message-ID: <20080902125710.0a6b023a@kiferserv>



On Tue,  2 Sep 2008 16:47:16 +0000 (GMT)
Rule Interchange Format Working Group Issue Tracker <sysbot+tracker@w3.org>
wrote:

> So, we basically have three choices:
> a) allow equality in rule bodies
> b) allow only a restricted form of equality in rule bodies, as argued in [1]
> c) not allow equality in rule bodies
> 
> 
> To me personally, (b) does not make sense.  Why allow equation of variables and functions, but not variables and variables?
> So, I argue that we should either (a) allow or (b) disallow equality in rule bodies.

I argue that neither b nor c makes sense.

michael
Received on Tuesday, 2 September 2008 16:57:45 GMT

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