Пример #1
0
 def __init__(self, funsym, *terms):
     self.rep = funsym
     self.args = flatten(terms)
Пример #2
0
 def __init__(self, relsym, *terms):
     assert not (isinstance(relsym, Atom)), relsym
     self.rep = relsym
     self.args = flatten(terms)
Пример #3
0
 def __init__(self, funsym, *terms):
     self.rep = funsym
     self.args = flatten(terms)
Пример #4
0
 def __init__(self, relsym, *terms):
     self.rep = relsym
     self.args = flatten(terms)
Пример #5
0
 def __init__(self, relsym, *terms):
     assert not(isinstance(relsym,Atom)), relsym
     self.rep = relsym
     self.args = flatten(terms)
Пример #6
0
 def __init__(self, relsym, *terms):
     self.rep = relsym
     self.args = flatten(terms)