Python assert_ Examples

Example #1

File: pyDatalog.py Project: jean/pydatalog

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)

Example #2

File: pyDatalog.py Project: colinsongf/pydatalog

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)

Example #3

File: pyDatalog.py Project: jean/pydatalog

def _assert_fact(literal):
    clause = pyEngine.Clause(literal.lua, [])
    pyEngine.assert_(clause)

Example #4

File: pyDatalog.py Project: colinsongf/pydatalog

def _assert_fact(literal):
    clause = pyEngine.Clause(literal.lua, [])
    pyEngine.assert_(clause)