Deductive_database loading ...