def symbol(self, positive=True):

    def argify(arg):
        if isinstance(arg, bool):
            return clingo.String(str(arg))
        elif isinstance(arg, int):
            return clingo.Number(arg)
        else:
            return clingo.String(str(arg))
    return clingo.Function(self.name, [argify(arg) for arg in self.args], positive=positive)
def symbol(self, positive=True):

    def argify(arg):
        if isinstance(arg, bool):
            return clingo.String(str(arg))
        elif isinstance(arg, int):
            return clingo.Number(arg)
        else:
            return clingo.String(str(arg))
    return clingo.Function(self.name, [argify(arg) for arg in self.args], positive=positive)