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()
