def __init__(self): super().__init__("[1,a]") tail = Term.from_list() tail.unify_arg(0, Term.from_atom_name('a')) tail.unify_arg(1, Term.from_nil()) self.term = Term.from_list() self.term.unify_arg(0, Term.from_integer(1)) self.term.unify_arg(1, tail)
def __init__(self): super().__init__('[bar]') self.term = Term.from_cons_list(Term.from_atom_name('bar'), Term.from_nil())
def __init__(self): super().__init__('[1]') self.term = Term.from_list() self.term.unify_arg(0, Term.from_integer(1)) self.term.unify_arg(1, Term.from_nil())
def __init__(self): atom = Atom('[]') super().__init__(type_='nil', value=None, prolog_string='[]', atom=atom, functor=Functor(atom, 0)) self.term = Term.from_nil()