he was born in viborg and died in schloss ahaus propositional horn clauses are also of interest in computational complexity nari nizeye ko narangije ibi ejo