Python report示例

示例#1

文件： backwrd2.py 项目： KhalidEzzeldeen/BitsAndBobs

def backward(rules, query, *pmode):
    global known, kbase                                # avoid extra args
    backwrd1.kbase = rules                             # set for browsing
    known, kbase = [['true']], rules                   # local to module
    try:
        for (stack, proof) in AND(query, [{}], [], []):
            try:
                report(stack[0], query, pmode, proof)
            except backtrack: 
                pass
        print 'no (more) solutions  [backwrd2.py]'
    except stop_proof: pass

示例#2

文件： backwrd2.py 项目： madtyn/progPython

def backward(rules, query, *pmode):
    global known, kbase  # avoid extra args
    backwrd1.kbase = rules  # set for browsing
    known, kbase = [['true']], rules  # local to module
    try:
        for (stack, proof) in AND(query, [{}], [], []):
            try:
                report(stack[0], query, pmode, proof)
            except backtrack:
                pass
        print 'no (more) solutions  [backwrd2.py]'
    except stop_proof:
        pass

示例#3

def report(kbase, topenv, query, pmode, how):
    import backward
    try:
        backward.report(kbase, topenv, query, pmode, how)
    except backward.backtrack:
        return

示例#4

文件： backwrd4.py 项目： asottile/ancient-pythons

def report(kbase, topenv, query, pmode, how):
    import backward
    try:
        backward.report(kbase, topenv, query, pmode, how)
    except backward.backtrack:
        return