def show_proofs(known): while 1: print ans = raw_input('show proofs? ') if ans in ['y','Y','yes','YES']: [patt] = internal(raw_input('enter deductions pattern: ')) for (fact, proof) in known: if match(patt, fact, {}, {})[0]: trace_tree((fact, proof), 0) elif ans in ['n','N','no','NO']: break elif ans == 'where': print_solns(known, None) elif ans == 'browse': browse_pattern(rulebase, raw_input('enter browse pattern: ')) else: print 'what? (expecting "y", "n", "where", or "browse")'
def show_proofs(known): while 1: print ans = raw_input('show proofs? ') if ans in ['y', 'Y', 'yes', 'YES']: [patt] = internal(raw_input('enter deductions pattern: ')) for (fact, proof) in known: if match(patt, fact, {}, {})[0]: trace_tree((fact, proof), 0) elif ans in ['n', 'N', 'no', 'NO']: break elif ans == 'where': print_solns(known, None) elif ans == 'browse': browse_pattern(rulebase, raw_input('enter browse pattern: ')) else: print 'what? (expecting "y", "n", "where", or "browse")'