Exemple #1
0
def parse_fo_sentence(sentence):
    cnf = __compute_cnf(sentence)
    cnf = skolemize(cnf)
    cnf = __drop_universals(cnf)
    return __clean_cnf(cnf, True)
Exemple #2
0
def parse_fo_sentence(sentence):
    cnf = __compute_cnf(sentence)
    cnf = skolemize(cnf)
    cnf = __drop_universals(cnf)
    return __clean_cnf(cnf, True)
Exemple #3
0
 def assert_skolemization(self, expression, expected):
     skolemized = logic.skolemize(expression, logic.Skolemizer())
     self.assertIn(skolemized, expected)
Exemple #4
0
 def assert_skolemization(self, expression, expected):
     skolemized = logic.skolemize(expression, logic.Skolemizer())
     self.assertIn(skolemized, expected)