def assert_true(query, e=None):
if e is None:
e = Engine()
terms, vars = e.parse(query)
term, = terms
e.run(term)
return dict([(name, var.dereference(e.heap))
for name, var in vars.iteritems()])
def assert_true(query, e=None):
if e is None:
e = Engine()
terms, vars = e.parse(query)
term, = terms
e.run(term)
return dict([(name, var.dereference(e.heap))
for name, var in vars.iteritems()])
def assert_false(query, e=None):
if e is None:
e = Engine()
term = e.parse(query)[0][0]
py.test.raises(UnificationFailed, e.run, term)
def assert_false(query, e=None):
if e is None:
e = Engine()
term = e.parse(query)[0][0]
py.test.raises(UnificationFailed, e.run, term)