ISSUE-47: Whether equality should be removed from BLD because it is not so practical to implement [CP]

Whether equality should be removed from BLD because it is not so practical to implement [CP]

State:

CLOSED

Product:

BLD

Raised by:

Christian de Sainte Marie

Opened on:

2007-11-13

Description:

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...

Related Actions Items:

No related actions

Related emails:

1. [Admin] Draft minutes for Telecon 20 November 2007 (from der@hplb.hpl.hp.com on 2007-11-20)
2. ISSUE-47: Whetehr equality should be removed from BLD because it is not so practical to implement (from dean+cgi@w3.org on 2007-11-13)

Related notes:

Display change log