Prolog: Add numbers