Article View: comp.lang.prolog
Article #750Errors in ISO Prolog Draft?
From: Trinity College Dublin Ireland M...
Date: Mon, 31 Aug 1992 09:29
Date: Mon, 31 Aug 1992 09:29
16 lines
1072 bytes
1072 bytes
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. 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. Can anyone help? Mike
Technical Details
Message-ID:
<Trinity-College-Dublin--Ireland-310892103019@brady.cs.tcd.ie>Path:
arc1-ca.pugleaf.net!sparky!uunet!mcsun!ieunet!tcdcs!brady.cs.tcd.ie!userShow Full Headers
Complete Article Headers
Newsgroups: comp.lang.prolog Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!ieunet!tcdcs!brady.cs.tcd.ie!user From: Trinity College Dublin, Ireland (Michael Brady) Subject: Errors in ISO Prolog Draft? Message-ID: <Trinity-College-Dublin--Ireland-310892103019@brady.cs.tcd.ie> Followup-To: comp.lang.prolog Sender: usenet@cs.tcd.ie (NN required at ashe.cs.tcd.ie) Nntp-Posting-Host: brady Organization: University of Dublin Date: Mon, 31 Aug 1992 09:29:38 GMT Lines: 16