Learning conjunctions of horn clauses (abstract)