Many-Valued Horn Logic is Hard