It is with heavy hearts that we share with the rest of the ALP Community the news of the passing of Alan Robinson. Alan was, with no doubts, one of the founding fathers and leaders of logic programming. Among the many contributions, he was the inventor of Resolution inference rule and founding editor of the Journal of Logic Programming.
Alan Bundy and Randy Goebel have written a touching eulogy that appeared in the newsletter of the Association for Automated Reasoning:
http://www.aarinc.org/Newsletters/116-2016-08.html
Alan will be missed by the entire ALP community and his memory will continue to live in all the research contributions in the years to come.
Enrico & Agostino