Alan BundyA person, professor of Automated Reasoning at the Mathematical Reasoning Group in the Division of Informatics at the University of Edinburgh.
He wrote a book particularly interesting for people without a strong mathematical background: The Computer Modelling of Mathematical Reasoning, New York, Academic Press, 1983 (it. trans. L'automazione del ragionamento matematico, Padova, Muzzio, 1986). In this book he explain in clear terms logic programming, pattern-matching, unification, rewriting systems and other concepts. -- MaD70
This page is linked from: Rewrite Logic 101