Пример #1
0
 def tell(self, sentence):
     if is_definite_clause(sentence):
         self.clauses.append(sentence)
         self.const_syms.update(constant_symbols(sentence))
         self.pred_syms.update(predicate_symbols(sentence))
     else:
         raise Exception('Not a definite clause: {}'.format(sentence))
Пример #2
0
 def tell(self, sentence):
     if is_definite_clause(sentence):
         self.clauses.append(sentence)
         self.const_syms.update(constant_symbols(sentence))
         self.pred_syms.update(predicate_symbols(sentence))
     else:
         raise Exception("Not a definite clause: {}".format(sentence))