Python is_definite_clause Examples

Example #1

 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))

Example #2

File: knowledge.py Project: Seenivasanseeni/aima-python

 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))

Example #3

File: kb.py Project: SebastianSunSun/spade

 def tell(self, sentence):
     if issubclass(sentence.__class__, str):
         sentence = expr(sentence)
     if is_definite_clause(sentence):
         self.clauses.append(sentence)
     else:
         raise Exception("Not a definite clause: %s" % sentence)

Example #4

File: kb.py Project: polbadman/SPADEKB

 def tell(self, sentence):
     if issubclass(sentence.__class__, str):
         sentence = expr(sentence)
     if is_definite_clause(sentence):
         self.clauses.append(sentence)
     else:
         raise Exception("Not a definite clause: %s" % sentence)