home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #19 / NN_1992_19.iso / spool / comp / lang / prolog / 1627 < prev    next >
Encoding:
Text File  |  1992-08-30  |  1.0 KB  |  29 lines
  1. Newsgroups: comp.lang.prolog
  2. Path: sparky!uunet!mcsun!ieunet!tcdcs!brady.cs.tcd.ie!user
  3. From: Trinity College Dublin, Ireland (Michael Brady)
  4. Subject: Errors in ISO Prolog Draft?
  5. Message-ID: <Trinity-College-Dublin--Ireland-310892103019@brady.cs.tcd.ie>
  6. Followup-To: comp.lang.prolog
  7. Sender: usenet@cs.tcd.ie (NN required at ashe.cs.tcd.ie)
  8. Nntp-Posting-Host: brady
  9. Organization: University of Dublin
  10. Date: Mon, 31 Aug 1992 09:29:38 GMT
  11. Lines: 16
  12.  
  13. I am trying to implement disjunction, if-then, if-then-else and
  14. negation-by-failure according to ISO Prolog Draft of March 27, 1992, and I
  15. think there may be some mistakes in the examples. Can anyone comment?
  16.  
  17. The mistakes (?) are:
  18.  
  19. Section 7.8.7.2. This is examples of if-then. The second-last example
  20. appears to have a syntax error. I won't lose sleep worrying about that one.
  21.  
  22. Section 7.8.8.2. This is examples of if-then-else. I just don't see how the
  23. stated behaviour of the last example can conform to the intended operation
  24. of if-then-else. This one I worry about.
  25.  
  26. Can anyone help?
  27.  
  28. Mike
  29.