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