Pātuhitia tēnei: Deduction and declarative programming / Peter Padawitz.