Path: utzoo!dptcdc!jarvis.csri.toronto.edu!mailrus!tut.cis.ohio-state.edu!cs.utexas.edu!uunet!ncrlnk!ncrcae!hubcap!steve
From: steve@hubcap.clemson.edu ("Steve" Stevenson)
Newsgroups: comp.lang.prolog
Subject: Re: infinite structures, lazy evaluation
Message-ID: <5133@hubcap.clemson.edu>
Date: 17 Apr 89 12:38:11 GMT
References: <1770@etive.ed.ac.uk>
Organization: Clemson University, Clemson, SC
Lines: 12

From article <1770@etive.ed.ac.uk>, by jha@lfcs.ed.ac.uk (Jamie Andrews):

> ....  The only real problem is defining what
> an infinite list is, which is a problem both in the logical and
> the functional case.

I thought Dana Scott had this all worked out.  Ya'll are working too hard.

-- 
Steve (really "D. E.") Stevenson           steve@hubcap.clemson.edu
Department of Computer Science,            (803)656-5880.mabell
Clemson University, Clemson, SC 29634-1906