Alfred Horn (17 de febrero de 1918 - 16 de abril de 2001) fue un matemático estadounidense conocido por su trabajo en la teoría de retículos y el álgebra universal . Su artículo de 1951 "Sobre las oraciones que son verdaderas en las uniones directas de álgebras" describió las cláusulas y oraciones de Horn , que más tarde formarían la base de la programación lógica .
Horn nació en el Lower East Side de Manhattan . Sus padres eran sordos y su padre murió cuando Horn tenía tres años. En ese momento, los niños se mudaron con sus abuelos maternos. Más tarde se mudarían a Brooklyn , donde Horn pasó la mayor parte de su infancia, criado por su familia extensa.
Horn asistió al City College de Nueva York y, más tarde, a la Universidad de Nueva York , donde obtuvo una maestría en matemáticas . Luego obtuvo su doctorado en Filosofía en la Universidad de California, Berkeley en 1946. Un año después, comenzó a trabajar en la Universidad de California, Los Ángeles , donde permaneció hasta su jubilación en 1988.
Murió en 2001 en Pacific Palisades, Los Ángeles, después de ocho años de luchar contra el cáncer de próstata .