Article View: comp.lang.prolog
Article #751Re: Errors in ISO Prolog Draft?
From: Mats Carlsson
Date: Tue, 01 Sep 1992 07:42
Date: Tue, 01 Sep 1992 07:42
22 lines
1531 bytes
1531 bytes
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, the parentheses don't match. 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. Don't worry. The example should fail on backtracking. -- Mats Carlsson SICS, PO Box 1263, S-164 28 KISTA, Sweden Internet: matsc@sics.se Tel: +46 8 7521543 Ttx: 812 6154 7010 SICS Fax: +46 8 7517230
Technical Details
Message-ID:
<MATSC.92Sep1084210@vishnu.sics.se>Path:
arc1-ca.pugleaf.net!sparky!uunet!mcsun!sunic!sics.se!matscReferences:
<Trinity-College-Dublin--Ireland-310892103019@brady.cs.tcd.ie>Show Full Headers
Complete Article Headers
Newsgroups: comp.lang.prolog Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!sunic!sics.se!matsc From: matsc@sics.se (Mats Carlsson) Subject: Re: Errors in ISO Prolog Draft? In-Reply-To: Trinity College Dublin, Ireland's message of Mon, 31 Aug 1992 09:29:38 GMT Message-ID: <MATSC.92Sep1084210@vishnu.sics.se> Followup-To: comp.lang.prolog Sender: news@sics.se Organization: Swedish Institute of Computer Science, Kista References: <Trinity-College-Dublin--Ireland-310892103019@brady.cs.tcd.ie> Date: Tue, 1 Sep 1992 07:42:10 GMT Lines: 22