[comp.lang.prolog] doctor honoris causa

maurice@kulcs.uucp (Maurice Bruynooghe) (11/23/88)

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.