Path: utzoo!mnetor!uunet!lll-winken!lll-lcc!ames!elroy!cit-vax!ucla-cs!sdcrdcf!trwrb!scgvaxd!ashtate!dwiggins
From: dwiggins@ashtate (Don Dwiggins)
Newsgroups: comp.lang.prolog
Subject: Partial evaluation, unfolding
Message-ID: <503@ashton.UUCP>
Date: 2 Mar 88 00:59:46 GMT
Reply-To: dwiggins@atsun.UUCP (Don Dwiggins)
Organization: Ashton-Tate, Torrance, CA
Lines: 9
Keywords: partial evaluation, unfolding, partial execution
Summary: Looking for references on partial evaluation


Several recent messages have made incidental reference to this subject under
various names.  I'd like to know if there's a good overview or introductory
level discussion of the topic (particularly in the Prolog context).  It seems
that, along with difference lists and various other tricks, a working knowledge
of unfolding (how to do it, when it's worth it, what are the pitfalls, etc.)
would be a valuable addition to the Prolog programmer's armamentarium.
-- 
Don Dwiggins
{scgvaxd,crash}!ashtate!dwiggins