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:
- [Admin] Draft minutes for Telecon 20 November 2007 (from der@hplb.hpl.hp.com on 2007-11-20)
- 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:
Closed by WG resolution at 15 Jan Telecon. See http://lists.w3.org/Archives/Public/public-rif-wg/2008Jan/att-0084/2008-01-15-rif-minutes.html
Christopher Welty, 18 Jan 2008, 19:41:22Display change log