Exemple #1
0
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)
Exemple #2
0
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)
Exemple #3
0
def _assert_fact(literal):
    clause = pyEngine.Clause(literal.lua, [])
    pyEngine.assert_(clause)
Exemple #4
0
def _assert_fact(literal):
    clause = pyEngine.Clause(literal.lua, [])
    pyEngine.assert_(clause)