def add_clause(head, body):
if isinstance(body, Body):
tbl = [a.lua for a in body.literals]
else: # body is a literal
tbl = (body.lua,)
clause = pyEngine.Clause(head.lua, tbl)
return pyEngine.assert_(clause)
def add_clause(head, body):
if isinstance(body, Body):
tbl = [a.lua for a in body.literals]
else: # body is a literal
tbl = (body.lua, )
clause = pyEngine.Clause(head.lua, tbl)
return pyEngine.assert_(clause)
def _assert_fact(literal):
clause = pyEngine.Clause(literal.lua, [])
pyEngine.assert_(clause)
def _assert_fact(literal):
clause = pyEngine.Clause(literal.lua, [])
pyEngine.assert_(clause)
