Reply to Comments:2015-09-25 on WDCor3

JPEH comments in bold. with ***
UWN replies with UWN

7.8.3.4 Examples

**** Why goal rather than Goal

UWN: per analogiam 7.8.3.1 f which reads:

f) Else convert the term G to a goal goal (7.6.2).

Action: added reference to 7.8.3.1 f

Table 21 and 22 show the execution stack before and
after executing the control construct call(G) with goal
obtained from G via 7.6.2 Converting a term to the body of a clause @@@ according to 7.8.3.1 f.

7.10.4 Write-option list

*** I prefer better!
UWN: done

C9 Add Note 7 for options lists.

8.1.3 Errors

.*** 13211-1 does not use these sublists.
UWN: 13211-1 does use these lists for elements of domain close_option, read_option, stream_option, write_option. See 8.11.5.3, 8.11.6.3, 8.14.1.3, 8.14.2.3.

8.5.1.4 Examples second last: Missing alternative error type_error(evaluable,unbound) when Prolog flag bounded is false. @@@ *** Need to say that max_arity is unbound
UWN: done, and corrected name to unbounded

Validated HTML