W3C home > Mailing lists > Public > public-rif-wg@w3.org > November 2007

ISSUE-47: Whetehr equality should be removed from BLD because it is not so practical to implement

From: RIF <dean+cgi@w3.org>
Date: Tue, 13 Nov 2007 15:31:23 +0000 (GMT)
To: public-rif-wg@w3.org
Message-Id: <20071113153123.98252C6DB5@barney.w3.org>


ISSUE-47: Whetehr equality should be removed from BLD because it is not so practical to implement

http://www.w3.org/2005/rules/wg/track/issues/47

Raised by: Christian de Sainte Marie
On product: Horn Dialect

The question raised from the conformance discussion at the F2F8 in Boston.

Since equality is difficult to implement in a logc system, most "Horn level"
systems do not implement it. If we include equality in BLD, and if conformance
is a boolean (implements and is able to process everything in BLD = conformant;
does not = not conformant), almost none of the targeted systems can have a
conformant implementation.

This raises the question whether equality really belongs in the _basic_ logic
dialect...
Received on Tuesday, 13 November 2007 15:31:31 GMT

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