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