pub fn result_to_string_result<C: QueryableContextType, T>(
    c: &Context<'_, C>,
    r: PrologResult<T>
) -> PrologStringResult<T>