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