Path: utzoo!utgpu!jarvis.csri.toronto.edu!cs.utexas.edu!usc!ucla-cs!coleman
From: coleman@oahu.cs.ucla.edu (Michael Coleman)
Newsgroups: comp.lang.prolog
Subject: Query on Terminology (partial evaluation vs partial deduction)
Keywords: Logic Programming, Partial Deduction
Message-ID: <32573@shemp.CS.UCLA.EDU>
Date: 6 Mar 90 03:35:05 GMT
References: <222@ra.abo.fi>
Sender: news@CS.UCLA.EDU
Reply-To: coleman@cs.ucla.edu (Michael Coleman)
Distribution: comp
Organization: UCLA Computer Science Department
Lines: 21

In article <222@ra.abo.fi> jan@ra.abo.fi (Niklas Sjostrom) writes:
-Partial deduction, previously called partial evaluation in logic, 
[...]

Perhaps I'm out of line here, but isn't partial deduction just another name
for partial evaluation?  If so, there would seem to be a precedent for
preferring the term partial evaluation, as there has already been at least one
event so titled ("Workshop on Partial Evaluation and Mixed Computation",
1987).

If this is correct, I'd like to respectfully suggest that partial evaluation
be preferred, since this subject already has one alias (mixed evaluation), and
a second would make searching the literature even more difficult.

Perhaps others can correct me or offer other opinions.

--Mike

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
try.            %% "When at first you 
try :- try.     %%  don't succeed, ..."                  (coleman@cs.ucla.edu)