Why Prolog and CBV?

• To: types
• Subject: Why Prolog and CBV?
• From: John C. Mitchell <jcm@cs.stanford.edu>
• Date: Fri, 08 Nov 91 18:23:23 EST
• Sender: meyer@theory.lcs.mit.edu

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 ?

• Prev: Interpreter Based on Denotational Semantics
• Next: Re: Why Prolog and CBV?
• Index(es):
  • Main
  • Thread