Horn_clauses loading ...