def prologName(self): if self.name in GDL_KEYWORDS or util.isint(self.name): return self.name else: return 'ggp_' + self.name
def prolog(self): if self.name in GDL_KEYWORDS or util.isint(self.name): return self.name + '/' + str(self.arity) else: return 'ggp_' + self.name + '/' + str(self.arity)