# Alan Bundy

A 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