Ibn-Ḫarūf, ʿAlī Ibn-Muḥammad