Newsgroups: comp.lang.prolog
Path: cantaloupe.srv.cs.cmu.edu!rochester!udel!news.mathworks.com!uunet!munnari.oz.au!cs.mu.OZ.AU!mundil.cs.mu.OZ.AU!conway
From: conway@mundil.cs.mu.OZ.AU (Thomas Charles CONWAY)
Subject: Re: analysis [was Re: If-Then-Else (was: Re: Otherwise?)]
Message-ID: <9506920.14871@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> <9505704.23884@mulga.cs.mu.OZ.AU> <D4q1yK.ALK@info.bris.ac.uk> <SVERKER.95Mar7210543@goodyear.sics.se> <3jl9d1$3bc@hedgehog.CS.Arizona.EDU>
Date: Fri, 10 Mar 1995 09:16:58 GMT
Lines: 11

>Sverker Janson <sverker@sics.se> wrote:
>
>>John Lloyd wrote:
>>> In any case, whatever the language, the key ingredient here is analysis.
>>
>>No language should require analysis for correct execution.
>

Why not?

Thomas
