[Prev][Next][Index][Thread]

Why Prolog and CBV?



Date: Thu, 07 Nov 91 17:19:45 PST

    PROLOG               Call-by-value
   -------------   =   -----------------
    Resolution           Lambda calculus


Why, in both cases, does an ``incomplete'' strategy turn out
to be the one used in practive? Is there a general explanation 
that applies to both ?