Deduction and Declarative Programming door Peter Padawitz