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