def instql_trace_from_file(json_path, instql_asp): trace = trace_dicts_from_file(json_path) return instql_trace(trace, instql_asp)
def instal_fact_json(json_file): jsons = trace_dicts_from_file(json_file) if len(jsons) == 0: return [] return dict_funs_to_list(jsons[-1], keys=["holdsat"])