def test_findall2(self): cut_or_cont = il.Var('cut_or_cont') x, y = Var('x'), Var('y') findall_result = il.Var('findall_result') result = cps(findall(or_(1, 2), x, y)) expect = 1 eq_(result, expect)
def test_or_2(self): eq_(eval(or_(unify(1, 1), unify(1, 2))), True)
def test_or(self): result = compile(or_(1, 2)) expect = '1' eq_(result, expect)
def test_cut_or3(self): x = LogicVar('x') assert_raises(NoSolution, eval, or_(begin(unify(x, 1), cut_or, unify(x, 2)), unify(x, 2)))
def test_cut_or(self): eq_(eval(or_(begin(prin(1), fail), prin(2))), None)
def test_findall_template_or(self): x, y, z = LogicVar('x'), LogicVar('y'), LogicVar('z') f = Var('f') eq_(eval(begin(findall(or_(is_(x, 1), is_(x, 2)), x, y), getvalue(y))), [1, 2])
def test_or(self): cut_or_cont = il.Var('cut_or_cont') result = cps(or_(1, 2)) expect = 1 eq_(result, expect)
def test_cut_or3(self): x = LogicVar('x') assert_raises( NoSolution, eval, or_(begin(unify(x, 1), cut_or, unify(x, 2)), unify(x, 2)))
def test_cut_or2(self): assert_raises(NoSolution, eval, or_(begin(prin(1), cut_or, fail), prin(2)))
def test_or(self): eq_(eval(or_(fail, succeed)), True)
def test_findall_or_once(self): eq_(eval(findall(once(or_(prin(1), prin(2))))), None)
def test_or(self): cut_or_cont = il.Var('cut_or_cont') v1 = il.Var('v1') result = compile_optimize(or_(1, 2)) expect = 1 eq_(result, expect)
def test_cut_or4(self): x = LogicVar('x') eq_( eval( or_(or_(begin(unify(x, 1), cut_or, unify(x, 2)), unify(x, 2)), unify(x, 2))), True)
def test_or_(self): eq_(eval(or_(succeed, fail)), True)
def test_or_2(self): eq_(eval(or_(unify(1,1), unify(1,2))), True)
def test_cut_or4(self): x = LogicVar('x') eq_(eval(or_(or_(begin(unify(x, 1), cut_or, unify(x, 2)), unify(x, 2)), unify(x, 2))), True)