Path: utzoo!attcan!uunet!mcvax!prlb2!kulcs!maurice
From: maurice@kulcs.uucp (Maurice Bruynooghe)
Newsgroups: comp.lang.prolog
Subject: doctor honoris causa
Message-ID: <112@kim.kulcs.uucp>
Date: 22 Nov 88 16:22:00 GMT
Reply-To: maurice@kulcs.UUCP ()
Organization: Katholieke Universiteit Leuven, Dept. Computer Science
Lines: 5

On wednesday november 30 1988, Prof Alan Robinson will receive a honorary
degree at the Katholieke Universiteit Leuven (Belgium) in recognition of
his pioneering work in automated theorem proving (the resolution principle)
and the important role he played (and still plays)in the development of 
Logic Programming.