Comments on 13211-3 draft of 2010-07-18
Source for 13211-3 draft,
Comments on version of 2010-04-01
- Ulrich Neumerkel,
There are several points lacking in the current draft:
For all further comments,
see the previous
- Remove Paulo Moura as editor, add to previous editors
- Explicit mentioning of list differences / difference lists is
needed. The following example cannot be explained otherwise.
?- phrase(t, , [a]).
t, [a] --> .
- Unchanged errors:
- 10 Logical expansion still there with the same error.
- 11 Reference implementation same errors.
- 12.3 Grammar rule translator tests same errors 802.
- Meta interpreter still there
- Unchanged: Missing informal descriptions of DCG constructs.
- Unchanged: No specification of relevant properties. In particular steadfastness.
- Unchanged: Overspecification due to irrelevant and incorrect code of several
- Unchanged: No clear organization