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__('@(%v,[%v=[5|%v]])', is_acyclic=False)
self.term = Term.from_list()
self.term.unify_arg(0, Term.from_integer(5))
self.term.unify_arg(1, self.term)
def __init__(self):
super().__init__("[1|2]")
self.term = Term.from_list()
self.term.unify_arg(0, Term.from_integer(1))
self.term.unify_arg(1, Term.from_integer(2))
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):
super().__init__('[%v|%v]', is_ground=False)
self.term = Term.from_list()
