Function build_clause 

pub fn build_clause(
    literals: Vec<Term>,
    meta_vars: Option<Vec<String>>,
    constrained_vars: Option<Vec<String>>,
    heap: &mut impl Heap,
    query: bool,
) -> Clause