Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!wuarchive!emory!athena.cs.uga.edu!mcovingt
From: mcovingt@athena.cs.uga.edu (Michael A. Covington)
Newsgroups: comp.lang.prolog
Subject: Re: '->' operator
Message-ID: <1991Jan4.061142.26941@athena.cs.uga.edu>
Date: 4 Jan 91 06:11:42 GMT
References: <291@valverde.cs.utexas.edu> <1991Jan4.030918.24996@athena.cs.uga.edu> <16491@cs.utexas.edu>
Organization: University of Georgia, Athens
Lines: 17

In article <16491@cs.utexas.edu> bradley@cs.utexas.edu (Bradley L. Richards) writes:
>
>Ah, but if '->' is intended to be an implementation of the procedural
>if-then-else (or, in the case I'm concerned with, if-then) then it
>should still succeed if the condition is false.  After all, procedurally
>execution will continue following an if statement whether or not the
>condition in the if was true.

   Ah. I had not quite realized that it didn't. So (p -> q) fails if 
   p fails?
   
>So either under the logical interpretation or under the procedural one
>it seems to me that the Quintus '->' works improperly.
>
   I hope R. A. O'Keefe (the most vocal defender of "->"; he may
   even have invented it) will join this discussion.