Wyślij wiadomość: Deduction and declarative programming / Peter Padawitz.