Re: Why Prolog and CBV?

Date: Mon, 18 Nov 91 10:53:44 EST
To: "John C. Mitchell" <jcm@CS.STANFORD.EDU>

I'm not sure I understand the relevance of whether CBV or CBN is a complete
strategy for finding normal forms since no programming language that I know of
takes as values the normal forms.

Bob Harper