Computing in Horn Clause Theories door Peter Padawitz