Abschnitt über Arithmetik in Prolog hinzugefügt; misc