Newsgroups: comp.lang.prolog
Path: cantaloupe.srv.cs.cmu.edu!das-news2.harvard.edu!news2.near.net!news.mathworks.com!hookup!swrinde!ihnp4.ucsd.edu!munnari.oz.au!cs.mu.OZ.AU!munta.cs.mu.OZ.AU!fjh
From: fjh@munta.cs.mu.OZ.AU (Fergus Henderson)
Subject: Re: Otherwise?
Message-ID: <9505502.26941@mulga.cs.mu.OZ.AU>
Sender: news@cs.mu.OZ.AU (CS-Usenet)
Organization: Computer Science, University of Melbourne, Australia
References: <D3x65E.JED@uceng.uc.edu> <3i1888$q7c@goanna.cs.rmit.edu.au>
Date: Thu, 23 Feb 1995 15:26:45 GMT
Lines: 14

ok@goanna.cs.rmit.edu.au (Richard A. O'Keefe) writes:

>... NU Prolog ... interprets a solo
>(a -> b) as (a -> b ; true) -- a truly strange, not to say dangerous, choice --

Well, you can certainly call it dangerous, but I don't think it's
fair to call it strange.  NU-Prolog's meaning is the one you would
expect for mathematical implication (except that it doesn't delay).
The standard Prolog meaning could equally well be described as strange,
since it uses a standard mathematical symbol in a non-standard way.

-- 
Fergus Henderson - fjh@munta.cs.mu.oz.au
all [L] (programming_language(L), L \= "Mercury") => better("Mercury", L) ;-)
