Skip to main content

matching_fact_exists

Function matching_fact_exists 

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