def __init__(self, name=None):
        self.facts = set()
        self.index = dict()
        if not name:
            name = "_%d"%Relation._id
            Relation._id += 1
        self.name = name
dataset/ETHPy150Open logpy/logpy/logpy/facts.py/Relation.__init__/original