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

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 UTC