Үүнийг мессежээр илгээх: A certifying algorithm for horn constraint systems