Text this: Deduction and declarative programming / Peter Padawitz.