Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!watmath!clyde!floyd!harpo!seismo!hao!hplabs!sri-unix!MULLEN@SUMEX-AIM.ARPA
From: MULLEN@SUMEX-AIM.ARPA
Newsgroups: net.ai
Subject: ANNOUNCEMENT
Message-ID: <16840@sri-arpa.UUCP>
Date: Tue, 21-Feb-84 13:47:50 EST
Article-I.D.: sri-arpa.16840
Posted: Tue Feb 21 13:47:50 1984
Date-Received: Fri, 24-Feb-84 02:04:36 EST
Lines: 24

From:  Juanita Mullen  

[Forwarded from the Stanford SIGLUNCH distribution by Laws@SRI-AI.]


Thursday, February 23, 1984

Professor Kenneth Kahn
Upssala University

will give a talk:

"Logic Programming and Partial Evaluation as Steps Toward
 Efficient Generic Programming"

at: Bldg. 200, (History Building), Room 107, 12 NOON

PROLOG and extensions to it embedded in LM PROLOG will be presented as
a means of describing programs that can be used in many ways.  Partial
evaluation  is  a  process  that  automatically  produces   efficient,
specialized versions  of programs.   Two partial  evaluators, one  for
LISP and one for PROLOG, will be presented as a means for winning back
efficiency that  was sacrificed  for generality.   Partial  evaluation
will also be presented as a means of generating compilers.