🚀 go-pugleaf

In article <1991Jan4.030918.24996@athena.cs.uga.edu> mcovingt@athena.cs.uga.edu (Michael A. Covington) writes:
>  Further, the -> operator is not intended to be an encoding of anything
>  in classical logic. It is a Pascal-like, *procedural* if-then-else
>  construct, designed to make it easier to express algorithms.
>  The equivalent of classical logic "implies" is :- .

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.

So either under the logical interpretation or under the procedural one
it seems to me that the Quintus '->' works improperly.

Bradley

-------------------------------------------------------------------------------
 Bradley L. Richards             "The abandonment of formal mathematics
 bradley@cs.utexas.edu           is an extremely popular thing to do in
 uucp:  cs.utexas.edu!bradley    computer science."
                                                    Dr. Robert Boyer, NACLP-90
-------------------------------------------------------------------------------