🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Article View: comp.lang.prolog
Article #750

Errors in ISO Prolog Draft?

#750
From: Trinity College Dublin Ireland M...
Date: Mon, 31 Aug 1992 09:29
16 lines
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!user

Show 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