def __init__(self, funsym, *terms):
self.rep = funsym
self.args = flatten(terms)
def __init__(self, relsym, *terms):
assert not (isinstance(relsym, Atom)), relsym
self.rep = relsym
self.args = flatten(terms)
def __init__(self, funsym, *terms):
self.rep = funsym
self.args = flatten(terms)
def __init__(self, relsym, *terms):
self.rep = relsym
self.args = flatten(terms)
def __init__(self, relsym, *terms):
assert not(isinstance(relsym,Atom)), relsym
self.rep = relsym
self.args = flatten(terms)
def __init__(self, relsym, *terms):
self.rep = relsym
self.args = flatten(terms)
