コード例 #1
0
ファイル: cnfparser.py プロジェクト: nikoladimitroff/Adder 
def parse_fo_sentence(sentence):
    cnf = __compute_cnf(sentence)
    cnf = skolemize(cnf)
    cnf = __drop_universals(cnf)
    return __clean_cnf(cnf, True)
コード例 #2
0
def parse_fo_sentence(sentence):
    cnf = __compute_cnf(sentence)
    cnf = skolemize(cnf)
    cnf = __drop_universals(cnf)
    return __clean_cnf(cnf, True)
コード例 #3
0
ファイル: fologic.py プロジェクト: nikoladimitroff/Adder 
 def assert_skolemization(self, expression, expected):
     skolemized = logic.skolemize(expression, logic.Skolemizer())
     self.assertIn(skolemized, expected)
コード例 #4
0
 def assert_skolemization(self, expression, expected):
     skolemized = logic.skolemize(expression, logic.Skolemizer())
     self.assertIn(skolemized, expected)