예제 #1
0
파일: kif.py 프로젝트: tonywu95/python-ggp
 def prologName(self):
     if self.name in GDL_KEYWORDS or util.isint(self.name):
         return self.name
     else:
         return 'ggp_' + self.name
예제 #2
0
파일: kif.py 프로젝트: antonini3/python-ggp
 def prologName(self):
     if self.name in GDL_KEYWORDS or util.isint(self.name):
         return self.name
     else:
         return 'ggp_' + self.name
예제 #3
0
파일: kif.py 프로젝트: tonywu95/python-ggp
 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)
예제 #4
0
파일: kif.py 프로젝트: antonini3/python-ggp
 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)