Deduction and Declarative Programming by Peter Padawitz