5 ms·Except it cannot decide all Horn clauses.by davidgay 8mo agoExcept it cannot decide all Horn clauses.