Added a partial first stab at horn clauses.