Logical features of Horn Clauses