Text this: Computing in Horn Clause Theories