PLUKEL@sri-unix.UUCP (01/26/84)
bases.
Dr. Komorowski's articles have appeared in proceedings of
the IXth POPL, the 1980 Logic Programming Workshop (Debrecen,
Hungary), and the book "Logic Programming", edited by Clark and
Taernlund. He acted as Program Chairman for the recent IEEE
Prolog tutorial at Brandies University, is serving on the Program
Committee of the 1984 Logic Programming Symposium (Atlantic
City), and is a member of the Editorial Board of THE JOURNAL OF
LOGIC PROGRAMMING.
Prolog has been selected as the programming language of the
Japanese Fifth Generation Computer Project. It is the first
realization of logic programming ideas, and implements a theorem
prover based on a design attributed to J.A. Robinson, which
limits resolution to a Horn clause subset of assertions.
A Prolog program is a collection of true statements in the
form of RULES. A computation is a proof from these assertions.
Numerous implementations of Prolog have elaborated Alain
Colmerauer's original, including Dr. Komorowski's own Qlog, which
operates in LISP environments.
Dr. Komorowski will present an introduction to elementary
logic programming concepts and an overview of more advanced
topics, including metalevel inference, expert systems
programming, databases, and natural language processing.
DATE: Thursday, 26 January 1984
TIME: 8:00 PM
PLACE: Intermetrics Atrium
733 Concord Avenue
Cambridge, MA
(near Fresh Pond Circle)
COMPUTER MOVIE and REFRESHMENTS before the talk.
Lecture dinner at 6pm open to all GBC members.
Call (617) 444-5222 for additional details.