Email Record: Computing in Horn Clause Theories /