 Resolution and unification have since been incorporated in many automated theorem-proving systems and are the basis for the inference mechanisms used in logic programming and the programming language Prolog.Robinson was the Founding Editor of the "Journal of Logic Programming", and has received numerous honours.These include a Guggenheim Fellowship in 1967, the American Mathematical Society Milestone Award in Automatic Theorem Proving 1985, an AAAI Fellowship 1990, the Herbrand Award for Distinguished Contributions to Automatic Reasoning 1996, and the Association for Logic Programming honorary title "Founder of Logic Programming" in 1997.