Honours project, University of Edinburgh - An interactive logic theorem solver as a football themed computer game.