1029), médico personal de Almanzor y cultivó también la lógica, escribiendo varios tratados sobre la inferencia y la deducción, cobrando sin embargo fama por su "Libro de las metáforas de las poesías de los andalusíes".