Telefona gönder: Deduction and declarative programming / Peter Padawitz.