Text this: Computing in Horn clause theories/