Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!watmath!clyde!floyd!vax135!cornell!uw-beaver!tektronix!hplabs!sri-unix!komorowski@MIT-OZ
From: komorowski%MIT-OZ@sri-unix.UUCP
Newsgroups: net.ai
Subject: Logic Programming Seminars at Harvard
Message-ID: <285@sri-arpa.UUCP>
Date: Fri, 23-Mar-84 18:28:23 EST
Article-I.D.: sri-arpa.285
Posted: Fri Mar 23 18:28:23 1984
Date-Received: Fri, 30-Mar-84 00:40:51 EST
Lines: 21

From:  Jan <komorowski@MIT-OZ>

           [Forwarded from the MIT bboard by Laws@SRI-AI.]

                                SEMINAR

                        LOGIC PROGRAM DERIVATION

                             Danny Krizanc
                          Harvard University

                        Tuesday, April 3, 1984

                                4 PM
                              Aiken G23

Danny will present a work he has done in my course Technology of Logic
Programming on program transformation. The method of Burstall and
Darlington is translated into resolution-based theorem proving and
applied to logic programs. The method is subsequently extended beyond
the limits of the functional approach.