def _pair_to_swipy_ref(item: Pair, swipy_ref, lit_var_store: Dict[Variable, int]): head = swipy.swipy_new_term_ref() tail = swipy.swipy_new_term_ref() _to_swipy_ref(item.get_left(), head, lit_var_store) _to_swipy_ref(item.get_right(), tail, lit_var_store) swipy.swipy_cons_list(swipy_ref, head, tail)
def _pair_to_pygp(p: Pair, lit_var_store: Dict[Variable, int]): left = _to_pygp(p.get_left(), lit_var_store) right = _to_pygp(p.get_right(), lit_var_store) functor = pygprolog.pygp_Find_Atom('.') if functor < 0: functor = pygprolog.pygp_Create_Allocate_Atom('.') args = [left, right] return pygprolog.pygp_Mk_Compound(functor, 2, args)