home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #19 / NN_1992_19.iso / spool / comp / lang / prolog / 1632 < prev    next >
Encoding:
Text File  |  1992-09-01  |  1.6 KB  |  38 lines
  1. Newsgroups: comp.lang.prolog
  2. Path: sparky!uunet!infonode!ingr!capalo!quintus!quintus!dave
  3. From: dave@quintus.com (David Bowen)
  4. Subject: Re: Errors in ISO Prolog Draft?
  5. Message-ID: <1992Sep1.182800.5489@quintus.com>
  6. Sender: news@quintus.com (USENET news account)
  7. Nntp-Posting-Host: odysseus
  8. Organization: Quintus Corporation, Palo Alto, CA
  9. References:  <Trinity-College-Dublin--Ireland-310892103019@brady.cs.tcd.ie>
  10. Date: Tue, 1 Sep 1992 18:28:00 GMT
  11. Lines: 25
  12.  
  13. In article <Trinity-College-Dublin--Ireland-310892103019@brady.cs.tcd.ie>, Trinity College Dublin, Ireland (Michael Brady) writes:
  14. > I am trying to implement disjunction, if-then, if-then-else and
  15. > negation-by-failure according to ISO Prolog Draft of March 27, 1992, and I
  16. > think there may be some mistakes in the examples. Can anyone comment?
  17. > 
  18. > The mistakes (?) are:
  19. > 
  20. > Section 7.8.7.2. This is examples of if-then. The second-last example
  21. > appears to have a syntax error. I won't lose sleep worrying about that one.
  22.  
  23. Yes, this looks like a syntax error to me too.  It will be fixed.
  24.  
  25. > Section 7.8.8.2. This is examples of if-then-else. I just don't see how the
  26. > stated behaviour of the last example can conform to the intended operation
  27. > of if-then-else. This one I worry about.
  28.  
  29. You are right.  The example is wrong.  In the October 91 draft (N84) this 
  30. same example was given (7.7.8.2) with the correct result -- it only succeeds 
  31. once.
  32.  
  33. -- 
  34. David Bowen                Vice President Product Engineering
  35. Quintus Corporation                     InterNet:       dbowen@quintus.com
  36. 2100 Geng Road                          FAX:            415 494 7608
  37. Palo Alto, California 94303             Phone:          415 813 3800
  38.