示例#1
0
文件： meta_aux.py 项目： jbalint/spark 
def solve(agent, predString, argList):
    imp = agent.getImp(Symbol(predString))
    b, z = optBZ(argList)
    solutions = []
    for solved in imp.solutions(agent, b, z):
        if solved:
            solutions.append([termEvalEnd(agent, b, zi) for zi in z])
    return tuple(solutions)
示例#2
0
def solve(agent, predString, argList):
    imp = agent.getImp(Symbol(predString))
    b, z = optBZ(argList)
    solutions = []
    for solved in imp.solutions(agent, b, z):
        if solved:
            solutions.append([termEvalEnd(agent, b, zi) for zi in z])
    return tuple(solutions)
示例#3
0
def termsEvalEnd(agent, bindings, zexprs):
    return List([termEvalEnd(agent, bindings, zexpr) for zexpr in zexprs])
示例#4
0
文件： bz.py 项目： jbalint/spark 
def termsEvalEnd(agent, bindings, zexprs):
    return List([termEvalEnd(agent, bindings, zexpr) for zexpr in zexprs])