Beispiel #1
0
 def get_maps(self,atom,search_patterns,sign):
     #out = []
     with open(self.globvals.ground,'w') as f:
         f.write('%s.\n\n'%(atom))
         f.write(''.join(map(lambda (x,y): '{term(X,%s):%s}.\n'%(y,x),search_patterns)))
         f.write('#hide.\n')
         f.write('#show term/2.\n')
     f.close()   
     out = asp.ground()     
     k = [functs.determ(x) for x in out]    
     return {x[0]:sign+x[1] for x in k}