コード例 #1
0
ファイル: test_prolog.py プロジェクト: EdTsft/swilite
 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)
コード例 #2
0
ファイル: test_prolog.py プロジェクト: EdTsft/swilite
 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)
コード例 #3
0
ファイル: test_prolog.py プロジェクト: EdTsft/swilite
 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))
コード例 #4
0
ファイル: test_prolog.py プロジェクト: EdTsft/swilite
 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())
コード例 #5
0
ファイル: test_prolog.py プロジェクト: EdTsft/swilite
 def __init__(self):
     super().__init__('[%v|%v]', is_ground=False)
     self.term = Term.from_list()