🚀 go-pugleaf

In article <Trinity-College-Dublin--Ireland-310892103019@brady.cs.tcd.ie>, Trinity College Dublin, Ireland (Michael Brady) writes:
> I am trying to implement disjunction, if-then, if-then-else and
> negation-by-failure according to ISO Prolog Draft of March 27, 1992, and I
> think there may be some mistakes in the examples. Can anyone comment?
> 
> The mistakes (?) are:
> 
> Section 7.8.7.2. This is examples of if-then. The second-last example
> appears to have a syntax error. I won't lose sleep worrying about that one.

Yes, this looks like a syntax error to me too.  It will be fixed.

> Section 7.8.8.2. This is examples of if-then-else. I just don't see how the
> stated behaviour of the last example can conform to the intended operation
> of if-then-else. This one I worry about.

You are right.  The example is wrong.  In the October 91 draft (N84) this 
same example was given (7.7.8.2) with the correct result -- it only succeeds 
once.

-- 
David Bowen				Vice President Product Engineering
Quintus Corporation                     InterNet:       dbowen@quintus.com
2100 Geng Road                          FAX:            415 494 7608
Palo Alto, California 94303             Phone:          415 813 3800