Invited Talk
John Alan Robinson
Professor Emeritus at Syracuse University
Unification and Resolution in Retrospect
In retrospect, unification and resolution seem
rather obvious ideas,
which arise inevitably when one asks what must be syntactically true of
a set of clauses
which possesses the semantic property of having no Herbrand models.