Function swipl_fli::PL_unify

pub unsafe extern "C" fn PL_unify(t1: term_t, t2: term_t) -> c_int