2 ms·Isn't it just that Horn clauses are easy to understand, and they are guaranteed to be fast.by thomasahle 3y agoIsn't it just that Horn clauses are easy to understand, and they are guaranteed to be fast.