pub(crate) fn matching_fact_exists( program: &Program, atom: &Atom, bindings: &HashMap<String, Term>, ) -> bool