get_fact_names function

Get the names of the facts of a star database