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_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_cut_or(self):
eq_(eval(or_(begin(prin(1), fail), prin(2))), None)
def test_or(self):
eq_(eval(or_(fail, succeed)), True)
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_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_or(self):
cut_or_cont = il.Var('cut_or_cont')
result = cps(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):
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_findall_or_once(self): eq_(eval(findall(once(or_(prin(1), prin(2))))), None)
def test_or_(self): eq_(eval(or_(succeed, fail)), True)
def test_or(self): eq_(eval(or_(fail, succeed)), True)
def test_or_2(self): eq_(eval(or_(unify(1,1), unify(1,2))), True)
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_(succeed, fail)), 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)
def test_or(self):
result = compile(or_(1, 2))
expect = '1'
eq_(result, expect)
