pub unsafe extern "C" fn PL_unify_functor(
    t: term_t,
    f: functor_t
) -> c_int