uyu muhungu w'imfura yatinye kongera gusubira mu cyaro avukamo horn satisfiability and horn clauses are named after alfred horn former los angeles galaxy defender alexi lalas was named as moore's replacement