Learning Conjunctions of Horn Clauses (Extended Abstract)