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.