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