Beispiel #1
0
 def emit(self, p, *args):
     t = Term(p, *args)
     print(f'{self.R.render(t)}.')
Beispiel #2
0
 def write_term(self, pred: str, *args):
     t = Term(pred, *args)
     self.file.write(self.renderer.render(t) + "\n")