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)